Adapting proofs-as-programs : the Curry-Howard protocol - Poernomo, Iman Hafiz (Monographs in computer science, 2005)