Michael A. Arbib;Ernest G. Manes
-;-
The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
Journal of the ACM (JACM)