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