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