Semantics and Reasoning with Free Procedures

Steven M. German. Semantics and Reasoning with Free Procedures. Theoretical Computer Science, 97(1):67-81, 1992.

Abstract

Abstract is missing.