Jeannin J-B, Kozen D, Silva A.? 2012.??CoCaml: Programming with Coinductive Types. :1-24.