Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. Recursion and Iteration in Continuous Theories: The M-Construction . J. Comput. Syst. Sci., 27(2):148-164, 1983.
@article{BloomTWW83, title = {Recursion and Iteration in Continuous Theories: The M-Construction }, author = {Stephen L. Bloom and James W. Thatcher and Eric G. Wagner and Jesse B. Wright}, year = {1983}, researchr = {https://researchr.org/publication/BloomTWW83}, cites = {0}, citedby = {0}, journal = {J. Comput. Syst. Sci.}, volume = {27}, number = {2}, pages = {148-164}, }