Author: IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques (8th 1995 Montreal, Canada)