Numbers - Ebbinghaus, Heinz D (springer, 1990)