Automatic Program Verification III: A Methodology for Verifying Programs (1974)

by F W von Henke, Luckham