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