A connotational theory of program structure - Royer, James S. (Berlin ; New York : Springer-Verlag, 2012)