APA stil citiranja

Barendregt, H. P., Dekkers, W., & Statman, R. (2013). Lambda calculus with types: Lambda calculus with types. Cambridge ; New York: Cambridge University Press.

Chicago stil citiranja

Barendregt, H. P., Wil Dekkers, and Richard Statman. Lambda calculus with types: Lambda calculus with types. Cambridge ; New York: Cambridge University Press, 2013.

MLA stil citiranja

Barendregt, H. P., Wil Dekkers, and Richard Statman. Lambda calculus with types: Lambda calculus with types. Cambridge ; New York: Cambridge University Press, 2013.