<a HREF="http://www.cs.cornell.edu/Info/People/tt/research/incremental-computation/derivation.html"> Derivation of Incremental Programs </a></h3>
