- Author: Charles Petzold
- Language: English
- Year: 1998
- Author: Theo Mandel
- Language: English
- Year: 1997
- Author: Evi Nemeth Garth Snyder Trent R. Hein Ben Whaley Dan Mackin
- Language: English
- Year: 2017
- Author: Ron Nixon et al
- Language: English
- Author: S. Abramsky Dov M. Gabbay T. S. E. Maibaum (eds.)
- Language: English
- Year: 1995
- Author: Michael J.C. Gordon
- Language: English
- Year: 1988
- Author: Thomas A. Standish
- Language: English
- Year: 1994