APA (7th ed.) Citation

Giannini, P., Richter, T., Servetto, M., & Zucca, E. (2019). Tracing sharing in an imperative pure calculus. Science of Computer Programming, 172, 180. https://doi.org/10.1016/j.scico.2018.11.007

Chicago Style (17th ed.) Citation

Giannini, Paola, Tim Richter, Marco Servetto, and Elena Zucca. "Tracing Sharing in an Imperative Pure Calculus." Science of Computer Programming 172 (2019): 180. https://doi.org/10.1016/j.scico.2018.11.007.

MLA (9th ed.) Citation

Giannini, Paola, et al. "Tracing Sharing in an Imperative Pure Calculus." Science of Computer Programming, vol. 172, 2019, p. 180, https://doi.org/10.1016/j.scico.2018.11.007.