Assignment and Procedure Call Proof Rules

David Gries, Gary Levin. Assignment and Procedure Call Proof Rules. ACM Transactions on Programming Languages and Systems, 2(4):564-579, 1980. [doi]

Abstract

Abstract is missing.