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-Zitierstil (17. Ausg.)CRARY, KARL, ALEKSEY KLIGER, und 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-Zitierstil (9. Ausg.)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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.