APA ציטוט

Poernomo, I. H., Crossley, J. N., & Wirsing, M. (2005). Adapting proofs-as-programs: The curry-howard protocol. Springer.

Chicago Style (17th ed.) Citation

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

ציטוט MLA

Poernomo, Iman Hafiz, et al. Adapting Proofs-as-programs: The Curry-howard Protocol. Springer, 2005.