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