logical foundations for specifying and implementing dynamical systems, MIT Press, Cambridge, MA, 2001

Knowlege in action: logical foundations for specifying and implementing dynamical systems, MIT Press, Cambridge, MA, 2001

2001