1. Anltr (2014). http://www.antlr.org
2. String template (2014). http://www.stringtemplate.org
3. Abrial, J.-R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)
4. Lecture Notes in Computer Science;J-R Abrial,2006
5. Al-Brashdi, A., Butler, M., Rezazadeh, A.: UB2DB Rodin plug-in for automated database code generation. In: 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018Programme (2018)