Top-down mathematical semantics and symbolic executionG. Lévi and A. M. PegnaRAIRO. Inform. théor., 17 1 (1983) 55-70DOI: https://doi.org/10.1051/ita/1983170100551
