Zelmer, A. “Functional, Normal Writing Language. Proof Operators”. Anal. Numér. Théor. Approx., vol. 14, no. 2, Aug. 1985, pp. 171-80, https://ictp.acad.ro/jnaat/journal/article/view/1985-vol14-no2-art11.