[ISBN 3-540-17732-9]