Automatic Program Verification I: A Logical Basis and its Implementation

Shigeru Igarashi Ralph L. London David C. Luckham Automatic Program Verification I: A Logical Basis and its Implementation Acta Inf. 4 1974 145-182 db/journals/acta/acta4.html#IgarashiLL74