Marc A. Auslander H. Raymond Strong Systematic Recursion Removal. 127-134 1978 21 Commun. ACM 2 db/journals/cacm/cacm21.html#AuslanderS78