The Logical Semantics of Program Schemas and Program Verification ID TR-76-11 Authors Akira Kanda Publishing date December 1976 File(s) TR-76-11.pdf