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