A transition-based approach to reasoning about action and change. - John M. Gooday (1994)