Title: Formalization of programming concepts
Subjects: Computer programming, Congresses