Jeannin, J-B;    Kozen, D;    Silva, A;      (2017)    CoCaml: Functional Programming with Regular Coinductive Types.                   Fundamenta Informaticae , 150  (3-4)   pp. 347-377.    10.3233/FI-2017-1473 <https://doi.org/10.3233/FI-2017-1473>.       Green open access