1. T. Anderson, Provably Safe Programs, Tech. Rep. 70, Computing Laboratory, University of Newcastle upon Tyne (February 1975).
2. R. L. Constable and A. B. Borodin, Subrecursive Programming Languages, Part I: Efficiency and Program Structure, J. ACM 19 (July 1972), 526–568.
3. E. W. Dijkstra, Concern for Correctness as a Guiding Principle for Program Composition, Infotech State of the Art Report 1: The Fourth Generation (1971), 357–367.
4. E. W. Dijkstra, A Discipline of Programming, Prentice-Hall (1976).
5. S. L. Gerhart and L. Yelowitz, Observations of Fallibility in Applications of Modern Programming Methodologies, IEEE Trans. on Software Engineering 2 (September 1976), 195–207.