FunKons: Component-Based Semantics in K. - Peter D. Mosses; Ferdinand Vesely (WRLA, 2014)

Weak Bisimulation as a Congruence in MSOS. - Peter D. Mosses; Ferdinand Vesely (Logic, Rewriting, and Concurrency, 2015)

One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. - Ferdinand Vesely; Kathleen Fisher (ESOP, 2019)