Systematic derivation of incremental programs (1995)

by Y A Liu, T Teitelbaum
Venue:Sci. Comput. Program