Manfred Broy Gerald Lüttgen Michael Mendler Editorial: Where Theory and Practice Meet. 297-298 2003 15 Formal Aspects Comput. 4 https://doi.org/10.1007/s00165-003-0020-7 db/journals/fac/fac15.html#BroyLM03