Holloway, C. Michael. «Why Engineers Should Consider Formal Methods»(PDF). 16th Digital Avionics Systems Conference (27-30 outubro de 1997) (em inglês). Consultado em 26 de março de 2015. Arquivado do original(PDF) em 16 de novembro de 2006
Holloway, C. Michael. «Why Engineers Should Consider Formal Methods»(PDF). 16th Digital Avionics Systems Conference (27-30 outubro de 1997) (em inglês). Consultado em 26 de março de 2015. Arquivado do original(PDF) em 16 de novembro de 2006