U. Nestmann and B. C. Pierce, “Decoding Choice Encodings”, BRICS, vol. 6, no. 42, Dec. 1999.