A Connotational Theory of Program Structure - Royer, James S. (Lecture notes in computer science, 1987)