1
by Gries, Thomas, Sieg, Gernot, Strulik, Holger
Published 1996
Springer Berlin Heidelberg