Title: Formal description of programming concepts--II
Subjects: Computer programming, Congresses, Formal languages