%0 Book
%A / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
%T Adapting proofs-as-programs
%U /book/93575252/Adapting-proofsasprograms/