Using Annotations to Make Recursion Equations Behave

Jerald Schwarz. Using Annotations to Make Recursion Equations Behave. IEEE Trans. Software Eng., 8(1):21-33, 1982.

Abstract

Abstract is missing.