APA (7th ed.) Citation

Poernomo, I. H., Wirsing, M., & Crossley, J. N. (2005). Adapting Proofs-as-Programs: The Curry-Howard Protocol. Springer New York.

Chicago Style (17th ed.) Citation

Poernomo, Iman Hafiz, Martin Wirsing, and John Newsome Crossley. Adapting Proofs-as-Programs: The Curry-Howard Protocol. New York, NY: Springer New York, 2005.

MLA (8th ed.) Citation

Poernomo, Iman Hafiz, et al. Adapting Proofs-as-Programs: The Curry-Howard Protocol. Springer New York, 2005.