2
by Broy, Manfred
Published 1998
Springer Berlin Heidelberg