Author: denmark International Symposium of Formal Methods Europe 1993 Odense