APA (7th ed.) Citation

CRARY, K., KLIGER, A., & PFENNING, F. (2005). A monadic analysis of information flow security with mutable state. Journal of functional programming, 15(2), 249-291. https://doi.org/10.1017/S0956796804005441

Chicago Style (17th ed.) Citation

CRARY, KARL, ALEKSEY KLIGER, and FRANK PFENNING. "A Monadic Analysis of Information Flow Security with Mutable State." Journal of Functional Programming 15, no. 2 (2005): 249-291. https://doi.org/10.1017/S0956796804005441.

MLA (9th ed.) Citation

CRARY, KARL, et al. "A Monadic Analysis of Information Flow Security with Mutable State." Journal of Functional Programming, vol. 15, no. 2, 2005, pp. 249-291, https://doi.org/10.1017/S0956796804005441.