A Connotational Theory of Program Structure - Royer, James S (Verfasser) (Lecture Notes in Computer Science, 1987)