1 books in this genre
Formal description techniques, VII
IFIP WG 6.1 International Conference on Formal Description Techniques (7th 1994 Berne, Switzerland).
