Book

Formal Description Techniques, IV: Proceedings (Ifip Transactions C : Communication Systems, Technical Committee 6)

by K. R. Parker