Hagerup, T. 1983. PAL - A Language for Multiple-Precision Algorithms. DAIMI Report Series. 12, 165 (Aug. 1983). DOI:https://doi.org/10.7146/dpb.v12i165.7439.