1. J. Bicarregui, J. Fitzgerald, P. Larsen, and J. Woodcock, FM 2009: Formal Methods. Springer, 2009, ch. Industrial Practice in Formal Methods: A Review, p.810–813.
2. M. Henson, S. Reeves, and J. Bowen, Z logic and its consequences, Computing and Informatics, vol. 22, no. 3-4, p.381–415, (2012).
3. J. Dong, R. Duke, and G. Rose, An object-oriented approach to thesemantics of programming languages, in Proceedings of the 17-th Annual Computer Science Conference, 1994, p.767–775.
4. G. Rose and R. Duke, Object-Oriented Specification Case Studies. Prentice Hall International, 1993, ch. An Object-Z Specification of a Mobile Phone System, p.110–129.
5. J. Sun, H. Wang, and T. Hu, Design software architecture models using ontology, in Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering, 2011, p.191–196.