Mosses, P., & Poulsen, C. B. (2014). Generating specialized interpreters for modular structural operational semantics. Logic-Based Program Synthesis and Transformation, LNCS 8901, pp. 220-236. doi:10.1007/978-3-319-14125-1_13
Chicago Style CitationMosses, Peter, and Casper Bach Poulsen. "Generating Specialized Interpreters for Modular Structural Operational Semantics." Logic-Based Program Synthesis and Transformation LNCS 8901 (2014): 220-236.
MLA CitationMosses, Peter, and Casper Bach Poulsen. "Generating Specialized Interpreters for Modular Structural Operational Semantics." Logic-Based Program Synthesis and Transformation LNCS 8901 (2014): 220-236.
Warning: These citations may not always be 100% accurate.