1. Logic of transition systems;Benthem;Journal of Logic, Language and Information,1995
2. Describing Requirements in Lyee and in Conventional Methods: Towards a Comparison, New Trends in Software Methodologies, Tools and Techniques;Bochmann,2002
3. Integrating OMT and Object-Z;Dupuy,1997
4. L. Ekenberg, P. Johannesson, UML as a Transition Logic, Proceedings of 12th European–Japanese Conference on Information Modelling and Knowledge Bases, 2002.
5. A. Evans, S.Kent, Core Meta-Modelling semantics of UML: The pUML approach, Proceedings of Second IEEE Conference on UML: UML'99, LNVCS, No.1723, pp. 140–155, 1999.