Automatic program verification I: A logical basis and its (1973)

by S Igarashi, R L London, D C Luckham