Systematic derivation of incremental programs (1995)

by Y A Liu, T Teitelbaum
Venue:Science of Computer Programming