Formal Description Techniques VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques /
International Conference on Formal Description Techniques(7th :1994 :Berne, Switzerland)
Hogrefe, Dieter.
Leue, Stefan.
IFIP Working Group 6.1.
London : Chapman & Hall,
1995.