An axiomatic definition of the programming language PASCAL C. A. R. HoareN. Wirth OriginalPaper Pages: 335 - 355
Familles de langages translatables et fermées par crochet L. BoassonJ. P. CrestinM. Nivat OriginalPaper Pages: 383 - 393