Bounded Incremental Computation by G. Ramalingam