O. Danvy og P. E. M. López, “RS-2 Tagging, Encoding, and Jones Optimality”, BRICS, bd. 10, nr. 2, jan. 2003.