N. Klarlund, A. Møller, and M. I. Schwartzbach, “MONA Implementation Secrets”, BRICS, vol. 7, no. 40, Jun. 2000.