@techreport{JKS12b,
  author="Jean-Baptiste Jeannin and Dexter Kozen and Alexandra Silva",
  title="{CoCaml}: Programming with Coinductive Types",
  institution="Computing and Information Science, Cornell University",
  number="{\url{http://hdl.handle.net/1813/30798}}",
  month="December",
  year="2012"
}