1
by Baader, Franz
Published 2003
Springer Berlin Heidelberg

2
by Baader, Franz
Published 2001
Springer-Verlag Berlin Heidelberg