Yannis E. Ioannidis Eugene Wong Towards an Algebraic Theory of Recursion. 329-381 1991 38 J. ACM 2 db/journals/jacm/jacm38.html#IoannidisW91 http://doi.acm.org/10.1145/103516.103521