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