A method of programming
Dijkstra, Edsger W.(Edsger Wybe),1930-
Feijen, W. H. J.
Wokingham Addison-Wesley
1988
Electronic digital computers
Logic, Symbolic and mathematical.