https://123dok.net/document/8ydnkkeq-semantique-naturelle-et-coq-vers-la-specification-et-les-preuves-sur-les-langages-a-objets.html