Proof Rules for the Programming Language (1978)

by R L London, J V Guttag, J J Homing, B W Lampson, J G Mitchell, G J Popek
Venue:Euclid, Acta Informatica