1
by Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger
Published 2009
Springer London

2
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1997
Springer New York

3
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1991
Springer New York