- Algorithmics: The Spirit of Computing (2nd Edition)
- Computers Ltd: What They Really Can't Do
- Modeling Reactive Systems With Statecharts : The Statemate Approach
- The Science of Computing: Exploring the Nature and Power of Algorithms
- Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine
- 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