Adapting Proofs-As-Programs door J.N. Crossley & Iman Hafiz Poernomo