https://123dok.net/document/yj75x55p-jean-christophefilliˆatresyntaxeabstraite-emantique-interpr-etes-langagesdeprogrammationetcompilation-ecolenormalesup-erieure.html