Interfaces for Refining Recursion and Procedures - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Mark Staples. Interfaces for Refining Recursion and Procedures. Formal Asp. Comput., 12(5):372-391, 2000. [doi]

@article{Staples00,
  title = {Interfaces for Refining Recursion and Procedures},
  author = {Mark Staples},
  year = {2000},
  url = {http://link.springer.de/link/service/journals/00165/bibs/0012005/00120372.htm},
  researchr = {https://researchr.org/publication/Staples00},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {12},
  number = {5},
  pages = {372-391},
}

runs on WebDSL