1. Unsupervised translation of programming languages;lachaux,2020
2. From Programs to Z Specifications
3. Code Generation by Example
4. Agile specification of code generators for model-driven engineering;lano;ICSE 2020,2020
5. Object Constraint Language (OCL) 2.4 Specification,2014