Title: Formal Description Techniques
Subjects: Computer programming, Congresses, Formal languages