1. Formal Software Analysis Emerging Trends in Software Model Checking;Dwyer,2007
2. An International Survey of Industrial Applications of Formal Methods;Craigen,1993
3. Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes;Deharbe;Revista de Informtica Terica e Aplicada,2010
4. METEOR: A successful application of B in a large project;Behm,1999
5. The B-book: Assigning Programs to Meanings;Abrial,1996