Title: Formalization of Programming Concepts
Subjects: Electronic digital computers, Programming, Programmation (Informatique), Congresses, Formale Sprache, Programmierung, Congres, Computer programming