APA-Zitierstil (7. Ausg.)

Montenegro, M., Peña, R., & Segura, C. (2015). Space consumption analysis by abstract interpretation: Reductivity properties. Science of computer programming, 111, 458-482. https://doi.org/10.1016/j.scico.2014.04.014

Chicago-Zitierstil (17. Ausg.)

Montenegro, Manuel, Ricardo Peña, und Clara Segura. "Space Consumption Analysis by Abstract Interpretation: Reductivity Properties." Science of Computer Programming 111 (2015): 458-482. https://doi.org/10.1016/j.scico.2014.04.014.

MLA-Zitierstil (9. Ausg.)

Montenegro, Manuel, et al. "Space Consumption Analysis by Abstract Interpretation: Reductivity Properties." Science of Computer Programming, vol. 111, 2015, pp. 458-482, https://doi.org/10.1016/j.scico.2014.04.014.