“Lem: reusable engineering of real world semantics”, joint work with Dominic P. Mulligan,¬†Scott Owens, Kathryn E. Gray, Tom Ridge and Peter Sewell”. To appear at the International Conference on Functional Programming (ICFP) 2014.