Mirjana Ivanović and Viktor Kuncak. Numerical representations as purely functional data structures: A new approach. INFORMATICA, Institute of Mathematics and Informatics, Vilnius, 13(2), 2002.

[ bib ] Back