Une sémantique algébrique de Pascal et application à la spécification d'un compilateur Pascal-P-code — Joëlle Despeyroux-Savonitto