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