Eric J. Hedman Joost N. Kok Kaisa Sere Coordinating action systems. 91-115 2000 240 Theor. Comput. Sci. 1 db/journals/tcs/tcs240.html#HedmanKS00 http://dx.doi.org/10.1016/S0304-3975(99)00228-5