Action systems - Clarke, David D.; Clarke, David D. (London Methuen & Co. Ltd, 1985)