Program transformation via constraint propagation (1991)

by I A Mason, C L Talcott