Top-Down Mathematical Semantics and Symbolic Execution. - Giorgio Levi; A. M. Pegna (RAIRO Theor. Informatics Appl., 1983)