Title: Mathematics of Program Construction
Subjects: Computer programming, Congresses, Computer science, Mathematics