@article{capretta:2005,
  author     = {Venanzio Capretta},
  title      = {General Recursion via Coinductive Types},
  journal    = {Logical Methods in Computer Science},
  volume     = 1,
  number     = 2,
  year       = 2005,
  pages      = {1--18},
  issn       = {1860-5974},
  doi        = {10.2168/LMCS-1(2:1)2005},
  url        = {http://www.lmcs-online.org/ojs/viewarticle.php?id=55}
}