Adapting Proofs-as-Programs - Poernomo, Iman Hafiz (Springer New York, 2005)