Author: International Symposium of Formal Methods Europe (1st 1993 Odense, Denmark)