Sam Lindley Implementing deterministic declarative concurrency using sieves. 45-49 2007 DAMP http://doi.acm.org/10.1145/1248648.1248657 conf/popl/2007damp db/conf/popl/damp2007.html#Lindley07