Danvy, O. and López, P. E. M. (2003) “RS-2 Tagging, Encoding, and Jones Optimality”, BRICS Report Series, 10(2). doi: 10.7146/brics.v10i2.21773.