Jaskelioff, M. J., Ghani, N., & Hutton, G. Modularity and implementation of mathematical operational semantics. Presented at Second Workshop on Mathematically Structured Functional Programming (MSFP 2008)