Danvy, O.; López, P. E. M. RS-2 Tagging, Encoding, and Jones Optimality. BRICS 2003, 10.