First and Second Order Recursion on Abstract Data Types

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},
}