1. R. L. Barber. The Spine of Software. John Wiley & Sons, Chichester, 1987.
2. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, 1976.
3. E. W. Dijkstra and W. H. J. Feijen. The linear search revisited. Struct. Prog., 10: 5–9, 1989.
4. D. Gries. The Science of Programming. Springer-Verlag, New-York, 1981.
5. E. C. R. Hehner, L. E. Gupta, and A. J. Malton. Predicative methodology. Acta Informatica, 23: 487–505, 1986.