, , ,
CWI Lectures in Mathematics and Computer Science
Software Analysis and Transformation

van der Storm, T. (2012). Ensō: interpretation and Composition of Executable Specification Languages.