Jaskelioff, Mauro Javier and Ghani, Neil and Hutton, Graham (2008) Modularity and implementation of mathematical operational semantics. In: Second Workshop on Mathematically Structured Functional Programming (MSFP