Adapting proofs-as-programs the curry-howard protocol - Poernomo, Iman Hafiz (Monographs in Computer Science, 2005)