Picard, C., & Matthes, R. (2011). Coinductive Graph Representation: the Problem of Embedded Lists. Electronic Communications of the EASST, 39. https://doi.org/10.14279/tuj.eceasst.39.649