APA (7th ed.) Citation

OLIVEIRA, B. C. D. S., SCHRIJVERS, T., & COOK, W. R. (2012). MRI: Modular reasoning about interference in incremental programming. Journal of Functional Programming, 22(6), 797. https://doi.org/10.1017/S0956796812000354

Chicago Style (17th ed.) Citation

OLIVEIRA, BRUNO C. D. S., TOM SCHRIJVERS, and WILLIAM R. COOK. "MRI: Modular Reasoning About Interference in Incremental Programming." Journal of Functional Programming 22, no. 6 (2012): 797. https://doi.org/10.1017/S0956796812000354.

MLA (9th ed.) Citation

OLIVEIRA, BRUNO C. D. S., et al. "MRI: Modular Reasoning About Interference in Incremental Programming." Journal of Functional Programming, vol. 22, no. 6, 2012, p. 797, https://doi.org/10.1017/S0956796812000354.