Richard C. Waters Efficient interpretation of synchronizable series expressions. 74-85 1987 conf/pldi/1987 PLDI http://doi.acm.org/10.1145/29650.29658 db/conf/pldi/pldi1987.html#Waters87