@Article{abelAltenkirch:predStRec,
  author = 	 {Andreas Abel and Thorsten Altenkirch},
  title = 	 {A Predicative Analysis of Structural Recursion},
  journal = 	 {Journal of Functional Programming},
  year = 	 2002,
  volume =	 12,
  number =	 1,
  pages =	 {1--41},
  month =	 {January},
  url =          {http://www.tcs.informatik.uni-muenchen.de/\~{}abel/foetuswf.pdf}
}