Bounded incremental computation - Ramalingam, G. (Springer, 1996)