Bu türde 1 kitap
Formal description techniques, VII
IFIP WG 6.1 International Conference on Formal Description Techniques (7th 1994 Berne, Switzerland).
