- Author: Dieter Kratsch, Fedor V. Fomin
- Language: German
- Year: 2010
- Author: Prof. Dr. Dines Bjørner (auth.)
- Language: English
- Year: 2006
- Author: Brauer Wilfried, Rozenberg Grzegorz, Salomaa Arto
- Language: English
- Year: 2006
- Author: Bjørner Dines
- Language: English
- Year: 2006
- Author: Daniel Kroening Ofer Strichman
- Language: English
- Year: 2016
- Author: Roberto Bruni Ugo Montanari
- Language: English
- Year: 2017
- Author: Roberto Bruni Ugo Montanari (auth.)
- Language: English
- Year: 2017
- Author: Frank Drewes
- Language: English
- Year: 2006