IEEE Trans Soft Eng 16(09) September 1990

• Guaspari, D. et al (1990) Guaspari, D. et al "Formal Verification of Ada Programs"