1. Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics. Addison Wesley Publ. Co., Reading (1989)
2. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. of ACM 18, 453–457 (1975)
3. Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Englewood Cliffs (1976)
4. Gries, D.: The Science of Programming. Springer, Heidelberg (1981)
5. Backhouse, R.: Program Construction and Verification. Prentice Hall, Englewood Cliffs (1986)