%0 Journal Article %1 journals/jacm/ArbibM82 %A Arbib, Michael A. %A Manes, Ernest G. %D 1982 %J J. ACM %K dblp %N 2 %P 577-602 %T The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions. %U http://dblp.uni-trier.de/db/journals/jacm/jacm29.html#ArbibM82 %V 29

@article{journals/jacm/ArbibM82, added-at = {2018-11-06T00:00:00.000+0100}, author = {Arbib, Michael A. and Manes, Ernest G.}, biburl = {https://www.bibsonomy.org/bibtex/2c39ab493593a03d6f3229807207bba1c/dblp}, ee = {https://doi.org/10.1145/322307.322325}, interhash = {fe88482397b00af1adb6441491833148}, intrahash = {c39ab493593a03d6f3229807207bba1c}, journal = {J. ACM}, keywords = {dblp}, number = 2, pages = {577-602}, timestamp = {2018-11-07T12:10:04.000+0100}, title = {The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm29.html#ArbibM82}, volume = 29, year = 1982 }