M. G. J. van den Brand A. P. van der Meer Alexander Serebrenik Type Checking Evolving Languages with MSOS. 207-226 2009 Semantics and Algebraic Specification http://dx.doi.org/10.1007/978-3-642-04164-8_11 conf/birthday/2009mosses db/conf/birthday/mosses2009.html#BrandMS09