APA-Zitierstil (7. Ausg.)

Barthe, G., Rezk, T., & Basu, A. (2007). Security types preserving compilation. Computer languages, systems & structures, 33(2), 35-59. https://doi.org/10.1016/j.cl.2005.05.002

Chicago-Zitierstil (17. Ausg.)

Barthe, Gilles, Tamara Rezk, und Amitabh Basu. "Security Types Preserving Compilation." Computer Languages, Systems & Structures 33, no. 2 (2007): 35-59. https://doi.org/10.1016/j.cl.2005.05.002.

MLA-Zitierstil (9. Ausg.)

Barthe, Gilles, et al. "Security Types Preserving Compilation." Computer Languages, Systems & Structures, vol. 33, no. 2, 2007, pp. 35-59, https://doi.org/10.1016/j.cl.2005.05.002.