Picard, C.; Matthes, R. Coinductive Graph Representation: The Problem of Embedded Lists. eceasst 2011, 39.