Defining and verifying behaviour of domain specific language with fUML. - Qinan Lai; Andy Carpenter (BM-FA, 2012)

Static Analysis and Testing of Executable DSL Specification. - Qinan Lai; Andy Carpenter (MODELSWARD, 2013)

Enabling high quality executable domain specific language specification. - Qinan Lai (2015)