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