APA Citation

Mosses, P., & Poulsen, C. B. (2017). Flag-based big-step semantics. Journal of Logical and Algebraic Methods in Programming, 88, pp. 174-190. doi:10.1016/j.jlamp.2016.05.001

Chicago Style Citation

Mosses, Peter, and Casper Bach Poulsen. "Flag-based Big-step Semantics." Journal of Logical and Algebraic Methods in Programming 88 (2017): 174-190.

MLA Citation

Mosses, Peter, and Casper Bach Poulsen. "Flag-based Big-step Semantics." Journal of Logical and Algebraic Methods in Programming 88 (2017): 174-190.

Warning: These citations may not always be 100% accurate.