Action systems: an introduction to the analysis of complex behavior - Clarke, David D (Methuen and Co Ltd, 1985)