APA Citation

Mosses, P., & Poulsen, C. B. (2014). Deriving pretty-big-step semantics from small-step semantics. Programming Languages and Systems, 8410, pp. 270-289. doi:10.1007/978-3-642-54833-8_15

Chicago Style Citation

Mosses, Peter, and Casper Bach Poulsen. "Deriving Pretty-big-step Semantics From Small-step Semantics." Programming Languages and Systems 8410 (2014): 270-289.

MLA Citation

Mosses, Peter, and Casper Bach Poulsen. "Deriving Pretty-big-step Semantics From Small-step Semantics." Programming Languages and Systems 8410 (2014): 270-289.

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