1. G. Booch, Software Components in Ada. Benjamin/Cummings, 1987.
2. O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Structured Programming, Academic Press, 1972.
3. E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Cliffs, New Jersey, 1976.
4. J. Goguen, “Parameterized Programming,” Transactions on Software Engineering, SE-10(5):528–543, September 1984.
5. A. Kershenbaum, D. R. Musser and A. A. Stepanov, “Higher Order imperative Programming,” Computer Science Dept. Rep. No. 88-10, Rensselaer Polytechnic Institute, Troy, New York, April 1988.