Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994

Dieter Hogrefe Stefan Leue Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994 FORTE IFIP Conference Proceedings 6 Chapman & Hall 1995 0-412-64450-9 db/conf/forte/forte1994.html