Michael J. Butler Carla Ferreira An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. 87-104 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2949&spage=87 2004 conf/coordination/2004 COORDINATION db/conf/coordination/coordination2004.html#ButlerF04