Jian Xu, Jeffery I. Zucker. First and Second Order Recursion on Abstract Data Types. Fundamenta Informaticae, 67(4):377-419, 2005. [doi]
@article{XuZ05:7, title = {First and Second Order Recursion on Abstract Data Types}, author = {Jian Xu and Jeffery I. Zucker}, year = {2005}, url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=67&issue=4&spage=377}, tags = {data-flow}, researchr = {https://researchr.org/publication/XuZ05%3A7}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {67}, number = {4}, pages = {377-419}, }