Cita APA

Poernomo, I. H., Wirsing, M., & Crossley, J. N. (2005). Adapting Proofs-as-Programs: The Curry-Howard Protocol. Springer Science+Business Media Inc..

Citación estilo Chicago

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

Cita MLA

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