A practical method of documenting and verifying Ada programs with packages

• 1 January 1980
• proceedings article
• Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
• Vol. 15  (11) , 113-122
• https://doi.org/10.1145/948632.948648

Abstract