Bounded Incremental Computation door G. Ramalingam