Zelmer, Alexandru. “Functional, Normal Writing Language. Proof Operators”. Anal. Numér. Théor. Approx. 14, no. 2 (August 1, 1985): 171–180. Accessed April 14, 2025. https://ictp.acad.ro/jnaat/journal/article/view/1985-vol14-no2-art11.