Title: Formal description techniques, III
First published: 1991
Subjects: Congresses, Computer programming, Formal languages
LC classification: QA76.6 .I185 1990