- Algorithmics: The Spirit of Computing (2nd Edition)
- Computers Ltd: What They Really Can't Do
- Rebirth of Israel Passover Haggadah
- Dynamic Logic (Foundations of Computing)
- Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)
- Bruce Powel Douglass
- Gary J. Bass
- Matt Curtin
- Matt Messier
- Gary V. Vaughan
- Frank F. Tsui
- Jeff Magee
- Dave Jagger
- Mark Summerfield
- Daniel D. Gajski
- Fredrick M. Cady
- Fred B. Schneider
- Dave Jaggar
- Randall K. Nichols
- Kenneth L. Short
- Allen Dewey
- Richard A. Mollin
- Jasmin Blanchette
- Brent A. Miller
- Michael Barr