Ciobanuand Lucanu. A Specification Language for Coordinated Objects. ACM Press, 2005, doi:10.1145/1123058.1123062.