%0 Book
%A  edited by Helmut Schwichtenberg.
%T Proof and computation
%U /book/90121293/Proof-and-computation/