Title: An overview of formal program proving and the correctness of Ada programs
First published: 1993