Daniel M. Yellin Robert E. Strom INC: A Language for Incremental Computations. 211-236 1991 13 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/103135.103137 db/journals/toplas/toplas13.html#YellinS91