-J.S. Royer: A Connotational Theory of Program Structure, Springer-Verlag 1987