Proofs And Computations door Helmut Schwichtenberg & Stanley S. Wainer