1. and , Pascal—User Manual and Report, Springer-Verlag, Berlin, 1975.
2. and , Structured Programming, Academic Press, New York, 1972.
3. Algorithms + Data Structures = Programs, Prentice-Hall, New Jersey, 1975.
4. An axiomatic definition of the programming language PASCAL