A. Abel, B. Pientka, D. Thibodeau, and A. Setzer, Copatterns: programming infinite structures by observations, The 40th Annual ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages, POPL '13, pp.27-38, 2013.

D. Baelde, Least and greatest fixed points in linear logic, ACM Transactions on Computational Logic, vol.13, issue.1, 2012.