APA (7th ed.) Citation

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

Montenegro, Manuel, Ricardo Peña, and 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 (9th ed.) Citation

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.