logical foundations for specifying and implementing dynamical systems, MIT Press, Cambridge, MA, 2001
An executable specification of an argumentation protocol