Michael Leuschel Guest Editorial. 91-92 2005 17 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-005-0069-6 db/journals/fac/fac17.html#Leuschel05