1. J. P. Bowen, and M. G. Hinchey, Seven more myths of formal methods. Oxford University Computing Laboratory, Rep. PRG-TR-7–94, June 1994, 19 pgs
2. J. Chaves, Formal methods at ATAndT, an industrial usage report. Proc. 4th FORTE Conference, Sydney, Australia, 1991, pp. 83–90.
3. E. M. Clarke and E. A. Emerson, Characterizing properties of parallel programs as fixpoints. 7th Int. Coll. on Automata, Languages and Programming. LNCS 85, 1981.
4. E. W. Dijkstra, Correctness concerns and, among other things, why they are resented. Sigplan Notices, Vol. 10, No. 6, 1975, pp. 546–550.
5. E. W. Dijkstra, A Discipline of Programming. Prentice Hall, Englewood Cliffs, NJ, 1976.