1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
2. Aït-Ameur, Y., Ait-Sadoune, I., Hacid, K., Mohand Oussaid, L.: Formal modelling of ontologies within Event-B. In: First International Workshop on Handling IMPlicit and EXplicit Knowledge in Formal System Development, Xi’an, China (2017)
3. Bah, M.O., Boudi, Z., Toub, M., Wakrime, A.A., Aniba, G.: Formalizing ontologies for AI models validation: from OWL to Event-B. In: 15th International Conference on Semantic Computing, pp. 455–462. IEEE (2021)
4. Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edn. Packt Publishing (2016)
5. Castano, S., et al.: Ontology dynamics with multimedia information: the boemie evolution methodology. In: Workshop on Ontology Dynamics (2007)