Automatic program verification i: a logical basis and its implementation (1973)

by Shigeru Igarashi, Ralph L London, David C Luckham