Martin Churchill, Peter D. Mosses, Paolo Torrini. Reusable components of semantic specifications. In Walter Binder, Erik Ernst, Achille Peternier, Robert Hirschfeld, editors, 13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014. pages 145-156, ACM, 2014. [doi]