- LOGO Rhythm: Band Logos That Rocked the World
- Being the Person Your Dog Thinks You Are: The Science of a Better You
- Ghosts and Other Chthonic Macabres
- Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
- Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science)















