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