Author: IFIP WG 6.1 International Conference on Formal Description Techniques (7th 1994 Berne, Switzerland).