Coordination programming: mechanisms, models, and semantics - Hankin, Chris; Metayer, Daniel Le (Imperial College Press ; River Edge, 1996)