[ISBN 3-540-42174-2]