Analítico de Periódico
FRASER, Martin D., e outros
Strategies for incorporating formal specifications in software development / Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi
Communications of the ACM, New York, V.37,n.10 (Oct.1994), p.74-85
ESTRATÉGIA INFORMÁTICA, DESENVOLVIMENTO DO SUPORTE LÓGICO, ESTUDO DE VIABILIDADE