International Federation for Information Processing Formal description techniques, IV
proceedings of the IFIP TC6/WG6.1 fourth International conference on formal description techniques for distributed systems and communications protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
Gedrukt boek