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

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