Title: Mathematics of program construction
First published: 1998
Subjects: Congresses, Electronic digital computers, Programming, Computer science, Mathematics