C. Picard and R. Matthes, “Coinductive Graph Representation: the Problem of Embedded Lists”, ECEASST, vol. 39, Sep. 2011.