@book{173002, author = {Poernomo, Iman Hafiz. and Wirsing, Martin. and SpringerLink (Online service)}, title = {Adapting Proofs-as-Programs}, publisher = {Springer New York,}, year = {2005.}, series = {Monographs in Computer Science,}, address = {New York, NY :}, url = {http://dx.doi.org/10.1007/0-387-28183-5} }