Coordination programming : mechanisms, models, and semantics - Andreoli, J.-M.; Hankin, C.; Métayer, D. Le. (Imperial College Press, 1996)