@STRING{jfp	= "Journal of Functional Programming" }

@Article{	  abelpientka:jfp15,
  author	= {Andreas Abel and Brigitte Pientka},
  title		= {Well-founded recursion with copatterns and sized types},
  journal	= jfp,
  year		= 2016,
  volume	= 26,
  pages		= 61,
  note		= {ICFP 2013 special issue},
  url		= {http://dx.doi.org/10.1017/S0956796816000022},
  doi		= {http://dx.doi.org/10.1017/S0956796816000022}
}