APA Style

Reiter, R. (2001.). Knowledge in action :logical foundations for specifying and implementing dynamical systems . Cambridge, Mass. :: MIT Press,.

MLA Style

Reiter, Raymond.. "Knowledge in action :logical foundations for specifying and implementing dynamical systems ". Cambridge, Mass. :: MIT Press,, 2001.. .