Proof rules for the programming language (1978)

by R L London
Venue:Euclid’, Acta Informatica