BOOKS
- Art and the Brain, Part III ,
edited with Erik Myin; Journal
of Consciousness Studies, vol. 11, no. 3/4, 2004; special issue with
focus on music; also, book published by Imprint Academic. The Editorial Introduction, with Erik Myin, is
available.
- Algebraic Semantics of Imperative
Programs, with Grant Malcolm, MIT Press, 1996. ISBN
0-262-07172-X. Covers most features of imperative languages using algebraic
semantics; many exercises that can be done using OBJ; also contains entry
level introductions to universal algebra and OBJ3. [The paper An Executable Course in the Algebraic Semantics of
Imperative Programs discusses some pedagogical innovations of this
book.]
- Software Engineering with OBJ: algebraic
specification in action, edited with Grant Malcolm, Kluwer, 2000; ISBN
0-7923-7757-5. A book on OBJ and its applications. The paper Introducing OBJ, which is essentially a user
manual for OBJ3, was revised and extended in August 1999. The Introduction with a table of contents, and
the paper More Higher Order Programming with
OBJ3, are also available.
- Requirements Engineering: Social and Technical Issues, edited with
Marina Jirotka, Academic Press, 1994. Best papers from a conference held at
Oxford University in 1992. ISBN 0-1238-5335-4.
- OBJ/CafeOBJ/Maude at Formal Methods '99, edited with Kokichi
Futatsugi and Jose Meseguer, Theta (Bucharest), September 1999. ISBN
973-99097-1-X. All papers on OBJ, CafeOBJ and Maude from the 1999 World
Congress on Formal Methods, FM `99 (Toulouse, France, August 1999).
- Theory and Practice of Software Technology, edited with Domenico
Ferrari and Mario Bolognani, North-Holland, 1983. Best papers from a
conference held on Capri in 1982. ISBN 0-444-86647-7.
- Art and the Brain, edited by Joseph Goguen,
Imprint Academic, October 1999; ISBN 0-907-84545-2; also appeared as Journal of Consciousness Studies,
volume 6, No. 6/7, June/July 1999. The Introduction is available.
- Art and the Brain (Part 2), Joseph Goguen and
Eric Myin, editors; special issue of Journal of Consciousness Studies,
volume 7, no. 8/9, 2000. Joseph Goguen's introduction, What is Art? is available, as is his review of Visual Space Perception: A
Primer, by Maurice Hershenson (MIT 1998).
- Theorem Proving and Algebra, to be published
by MIT Press. The following are available: Chapter 1, Introduction and Chapter 8, First Order Logic, plus the References and the Table
of Contents. Chapter 8 (finished 15 September 1998) gives an elegant
algebraic exposition of first order logic, proof planning and induction; the
approach to induction is unusually general, and there are many examples.
This is still a draft and comments are welcome.
Back to publications index page
Maintained by Joseph Goguen
Last modified: Thu Mar 17 10:30:52 PST 2005