Do considered od
Subtitle: a contribution to the programming calculus
By: by Eric C.R. Hehner.
Contributors: University of Toronto. Computer Systems Research Group.
Series: Technical report / Computer Systems Research Group -- CSRG-75; Technical report CSRG (University of Toronto.  Computer Systems Research Group) -- 75
Publisher: Computer Systems REsearch Group, University of Toronto
Published: 1976
Place of publication: Toronto
Language: eng
Number of pages: 37
Subjects: Electronic data processing; Computer programming.
Notes: Bibliography: p. 37.