A Practical Method of Documenting and Verifying Ada Programs with Packages (1980)

by D C Luckham, W Polak
Venue:SIGPLAN Notices