T. Hagerup, “PAL - A Language for Multiple-Precision Algorithms”, DPB, vol. 12, no. 165, Aug. 1983.