C. Michael Holloway. Why Engineers Should Consider Formal Methods. 16th Digital Avionics Systems Conference (27–30 October 1997). Archivado desde el original el 16 de noviembre de 2006. Consultado el 16 de noviembre de 2006.
nasa.gov
shemesh.larc.nasa.gov
R. W. Butler (6 de agosto de 2001). «What is Formal Methods?». Consultado el 16 de noviembre de 2006.
web.archive.org
C. Michael Holloway. Why Engineers Should Consider Formal Methods. 16th Digital Avionics Systems Conference (27–30 October 1997). Archivado desde el original el 16 de noviembre de 2006. Consultado el 16 de noviembre de 2006.