1. Ancona, D.: Regular corecursion in Prolog. Comput. Lang. Syst. Struct. 39(4), 142–162 (2013)
2. Ancona, D., Barbieri, P., Dagnino, F., Zucca, E.: Sound regular corecursion in coFJ. In: Hirschfeld, R., Pape, T. (eds.) ECOOP’20 - Object-Oriented Programming. LIPIcs, vol. 166, pp. 1:1–1:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
3. Ancona, D., Barbieri, P., Zucca, E.: Enhanced regular corecursion for data streams. In: ICTCS’21 - Italian Conference on Theoretical Computer Science (2021)
4. Ancona, D., Barbieri, P., Zucca, E.: Enhancing expressivity of checked corecursive streams (extended version) (2022). https://arxiv.org/abs/2202.06868
5. Lecture Notes in Computer Science;D Ancona,2017