1
by Dignum, Frank
Published 2000
Springer Berlin Heidelberg

4
by Desel, Jörg
Published 2004
Springer Berlin Heidelberg

5
by Baier, Christel
Published 2004
Springer Berlin Heidelberg

7
by Melkebeek, Dieter
Published 2000
Springer-Verlag Berlin Heidelberg