Connotational theory of program structure - Royer James S (Berlin Springer-Verlag, 1987)
Keywords: Computer programming