Syntax, sémantique et axiomatique d’un langage de programmation simple (1974)

by J Vuillemin