Title: Formal Description Techniques, IV: Proceedings (Ifip Transactions C : Communication Systems, Technical Committee 6)
Subjects: Computer programming, Congresses, Formal languages