Guaspari, D. et al "Formal Verification of Ada Programs"

(1990) IEEE Trans Soft Eng 16(09) September 1990  

Languages mentioned Ada' {1990} Verifiable subset of Ada