O. Danvy, “Formatting Strings in ML”, BRICS, vol. 5, no. 5, Mar. 1998.