Marcelo Sihman Shmuel Katz A calculus of superimpositions for distributed systems. 28-40 2002 AOSD http://doi.acm.org/10.1145/508386.508391 db/conf/aosd/aosd2002.html#SihmanK02