Carlo Ghezzi Dino Mandrioli Antonio Tecchio Program Simplification via Symbolic Interpretation. 116-128 1985 conf/fsttcs/1985 FSTTCS db/conf/fsttcs/fsttcs85.html#GhezziMT85 http://dx.doi.org/10.1007/3-540-16042-6_6