- Author: Thomas Strothotte Stefan Schlechtweg
- Language: English
- Year: 2002
- Author: Edmund M. Clarke Thomas A. Henzinger Helmut Veith Roderick Bloem (eds.)
- Language: English
- Year: 2018
- Author: Adam Freeman
- Language: English
- Year: 2018
- Author: Udi Manber
- Language: English
- Year: 1989
- Author: Steve Cannon
- Language: English
- Year: 2018
- Author: Steve Cannon
- Language: English
- Year: 2018
- Author: Nihat Ay Jürgen Jost Hông Vân Lê Lorenz Schwachhöfer
- Language: English
- Year: 2017
- Author: Thomas A. Standish
- Language: English
- Year: 1994
- Author: Benjamin Bengfort Jenny Kim
- Language: English
- Year: 2016