Knowledge in action: logical foundations for specifying and implementing dynamical systems - Reiter, Raymond (MIT Press, 2001)