Knowledge in Action – Logical Foundations for Specifying & Implementing Dynamical Systems - Raymond Reiter