Picard, Celia, and Ralph Matthes. “Coinductive Graph Representation: The Problem of Embedded Lists”. Electronic Communications of the EASST 39 (September 20, 2011). Accessed December 12, 2025. https://www.eceasst.org/index.php/eceasst/article/view/2664.