APA (7th ed.) Citation

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 Style (17th ed.) Citation

Barthe, Gilles, Tamara Rezk, and 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 (9th ed.) Citation

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.