1. Borst W.N.,Construction of Engineering Ontologies for Knowledge Sharing and Reuse(Enschede, The Netherlands, 1997)
2. Fuchs N., Kaljur K., Schneider G.,Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces, inIn Proceedings of 19th International Florida Artificial Intelligence Research Society Conference(2006)
3. Abrial J.,Modeling in Event-B - System and Software Engineering(Cambridge University Press, 2010), ISBN 978-0-521-89556–9
4. Dermeval D., Vilela J., Bittencourt I., Castro J., Isotani S., Brito P., Silva A., Requirements Engineering pp. 1–33 (2015)