Program Simplification via Symbolic Interpretation. - Carlo Ghezzi; Dino Mandrioli; Antonio Tecchio (FSTTCS, 1985)