Implementing a Functional Spreadsheet in Clean. - Walter A. C. A. J. de Hoon; Luc M. W. J. Rutten; Marko C. J. D. van Eekelen (J. Funct. Program., 1995)

Efficient and formally proven reduction of large integers by small moduli. - Luc M. W. J. Rutten; Marko C. J. D. van Eekelen (ACM Trans. Math. Softw., 2010)