Assignment and Procedure Call Proof Rules (1981)

by D Gries, G Levin
Venue:ACM Transactions on Programming Language Systems