//-->
Syntax of programming languages : theory and practice
Backhouse, Roland Carl, (1979)
Workshop on Reliable Software : Bonn University, September 22 - 23, 1978
Raulefs, Peter, (1979)
A discipline of programming
Dijkstra, Edsger W., (1976)