1. Apt, K.R.: Ten years of Hoare’s logic, a survey, part I. ACM Transactions on Programming Languages and Systems 3, 431–483 (1981) (Tech. Report, Fac. of Economics, Erasmus Univ. Rotterdam, April 1979)
2. Backus, J.W., et al.: The FORTRAN Automatic Coding System. In: Proc. Western Joint Computing Conf., vol. 11, pp. 188–198 (1957)
3. de Bakker, J.: Mathematical Theory of Program Correctness. Prentice Hall, Englewood Cliffs (1980)
4. Lecture Notes in Computer Science,1978
5. Blaue, C.: Anforderungen bei industriellem Softwareengineering, Procedurale Implementierungstechniken im objektorientierten Entwicklungsprozeß. Diss. Tech. Fak. CAU Kiel (2003), pp. 205, dissertation.de-Verlag im Internet, Berlin (2004)