Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley <br/><br/>
Adapting Proofs-as-Programs 

 - New York  Springer US  2005 
<br/><br/><label>ISBN: </label>978-0-387-28183-4 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science