- Author: Donald Sannella Andrzej Tarlecki
- Language: English
- Year: 2012
- Author: Ernst-Erich Doberkat
- Language: English
- Year: 2010
- Author: Sergey Kitaev
- Language: English
- Year: 2011
- Author: Dines Bjørner Martin C. Henson (eds.)
- Language: English
- Year: 2008
- Author: Javier Esparza Keijo Heljanko
- Language: English
- Year: 2008
- Author: Ariel Gabizon
- Language: English
- Year: 2011
- Author: Fink E. Wood D.
- Language: English
- Year: 2004
- Author: Ernst-Erich Doberkat (auth.)
- Language: English
- Year: 2009
- Author: H. Ehrig K. Ehrig U. Prange G. Taentzer
- Language: English
- Year: 2006
- Author: Sotiris Nikoletseas José D.P. Rolim (eds.)
- Language: English
- Year: 2011