@book{32728,
	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}
}