Features and fluents. The representation of knowledge about dynamical systems. Volume 1. - Sandewall, Erik (Oxford logic guides, 1994)