1. Austin, S., Parkin, G.: Formal methods: A survey. Technical report, National Physical Laboratory, Teddington, Middlesex, UK (March 1993)
2. Craigen, D., Gerhart, S., Ralston, T.: An International Survey of Industrial Applications of Formal Methods, vol. 2. U.S. National Institute of Standards and Technology, Computer Systems Laboratory (March 1993)
3. Clarke, E.M., Wing, J.M.: Formal methods: State of the art and future directions. ACM Computing Surveys 28(4), 626–643 (1996)
4. Bloomfield, R., Craigen, D.: Formal methods diffusion: Past lessons and future prospects. Technical Report D/167/6101, Adelard, London, UK (December 1999)
5. Hinchey, M.G., Bowen, J.P.: To formalize or not to formalize? IEEE Computer 29(4), 18–19 (1996)