S. Blazy and P. , Facon SFAC, a tool for program comprehension by specialization IEEE Workshop on program comprehension, 1994.

J. Despeyroux, Proof of translation in natural semantics, Symposium on Logic in Computer Science
URL : https://hal.archives-ouvertes.fr/inria-00076040

G. Dowek, The Coq proof assistant user's guide INRIAreport 134, 1991.

M. Hennessy, The semantics of programming languages, 1990.

C. B. Jones, Systematic software development using VDM, 1990.

G. Kahn, Natural semantics, Proceedings of STACS'87, 1987.
DOI : 10.1007/BFb0039592
URL : https://hal.archives-ouvertes.fr/inria-00075953

U. Meyer, Techniques for evaluation of imperative languages, ACM SIGSOFT, pp.94-105, 1991.

G. Plotkin, A structural approach to operational semantics, 1981.