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