1
by Henzinger, Thomas A
Published 2001
Springer-Verlag Berlin Heidelberg

2
by Henzinger, Thomas A
Published 1998
Springer Berlin Heidelberg