Eliminating the variable from Dijkstra's mini-language
By: by D. Hugh Redelmeier.
Contributors: University of Toronto. Computer Systems Research Group.
Series: Technical report -- CSRG-104; Technical report CSRG (University of Toronto. Computer Systems Research Group) -- 104
Publisher: Computer Systems Research Group, University of Toronto
Published: 1979
Place of publication: Toronto
Language: eng
Number of pages: 15
Subjects: Electronic data processing; Computer programming.
Notes: Bibliography: p. 15.