Title: Mathematics of program construction
Subjects: Computer programming, Congresses, Computer science, Mathematics