1. Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576–583 (1969)
2. Floyd, R.W.: Assigning meanings to programs. Proceedings of the American Mathematical Society Symposia on Applied Mathematics 19, 9–31 (1967)
3. US National Science Foundation: Model checking pioneers receive Turing Award, most prestigious in computing, Press Release 08-022 (February 2008)
4. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
5. Woodcock, J., Davies, J.: Using Z. Specification, Refinement and Proof. Prentice-Hall, Englewood Cliffs (1996)