Top-down mathematical semantics and symbolic execution G. Lévi; A. M. Pegna — 1983 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications