Zelmer, A. (1985). Functional, normal writing language. Proof operators. Anal. Numér. Théor. Approx., 14(2), 171-180. https://ictp.acad.ro/jnaat/journal/article/view/1985-vol14-no2-art11