APA-Zitierstil (7. Ausg.)

Nowak, D., & Zhang, Y. (2015). Formal security proofs with minimal fuss: Implicit computational complexity at work. Information and Computation, 241, 96-113. https://doi.org/10.1016/j.ic.2014.10.008

Chicago-Zitierstil (17. Ausg.)

Nowak, David, und Yu Zhang. "Formal Security Proofs with Minimal Fuss: Implicit Computational Complexity at Work." Information and Computation 241 (2015): 96-113. https://doi.org/10.1016/j.ic.2014.10.008.

MLA-Zitierstil (9. Ausg.)

Nowak, David, und Yu Zhang. "Formal Security Proofs with Minimal Fuss: Implicit Computational Complexity at Work." Information and Computation, vol. 241, 2015, pp. 96-113, https://doi.org/10.1016/j.ic.2014.10.008.