Mosses, P., & Vesely, F. (2014). FunKons: Component-Based Semantics in K. Rewriting Logic and Its Applications, 8663, pp. 213-229. doi:10.1007/978-3-319-12904-4_12
Chicago Style CitationMosses, Peter, and Ferdinand Vesely. "FunKons: Component-Based Semantics in K." Rewriting Logic and Its Applications 8663 (2014): 213-229.
MLA CitationMosses, Peter, and Ferdinand Vesely. "FunKons: Component-Based Semantics in K." Rewriting Logic and Its Applications 8663 (2014): 213-229.
Warning: These citations may not always be 100% accurate.