Formal description techniques VII : proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques
· edited by Dieter Hogrefe and Stefan Leue ; sponsored by IFIP WG 6.1 in cooperation with ACM SIGCOMM and the IEEE Computer Society Technical Committee on Distributed Processing
Bok Engelsk 1995