Hagerup, T. “PAL - A Language for Multiple-Precision Algorithms”. DAIMI Report Series, vol. 12, no. 165, Aug. 1983, doi:10.7146/dpb.v12i165.7439.