Systematic derivation of incremental programs (1995)

by Yanhong A Liu, Tim Teitelbaum
Venue:Science of Computer Programming