Y. Chevallard, Les processus de transposition didactique et leur théorisation, Contribution à l'ouvrage dirigé par, La transposition didactique à l'épreuve, pp.135-180, 1994.

E. W. Dijkstra, EWD316: A Short Introduction to the Art of Programming, 1971.

A. R. Hoare, Mathematical Models for Computing Science, NATO ASI DPD, vol.1996, pp.115-164, 1996.
DOI : 10.1007/978-3-642-61455-2_11

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.2400

D. E. Knuth, Computer Programing as an Art, ACM Turing award lectures, 1974.
DOI : 10.1145/1283920.1283929