A practical method of documenting and verifying Ada programs with packages
David C. Luckham, Wolfgang Polak · 1980
We present a method of formal specification of Ada programs containing packages. The method suggests concepts and guidelines useful for giving adequate informal documentation of packages by means of comments.