1 libros en este género
Formal description techniques, VII
IFIP WG 6.1 International Conference on Formal Description Techniques (7th 1994 Berne, Switzerland).
