T. Risse, “TOWARDS A MATHEMATICAL LIBRARY FOR UNUMs, AN ALTERNATIVE TO IEEE 754 FLOATING POINT NUMBERS”, JICT, vol. 17, no. 1, pp. 1–16, Dec. 2017.