Jifeng He Transaction Calculus. 4 2008 HASE http://dx.doi.org/10.1109/HASE.2008.67 conf/hase/2008 db/conf/hase/hase2008.html#He08