1. Introduction to the ISO specification language LOTOS;Bolognesi;Comput. Networks ISDN Syst.,1987
2. R.J.A. Buhr, R.S. Casselman, A Use Case Map Approach to High Level Design of Object Oriented Systems, Prentice-Hall, Englewood Cliffs, NJ, 1996.
3. Making changes to formal specifications – requirements and an example;Bustard;IEEE Trans. Software Engrg.,1994
4. Making Use a design representation;Caroll;Comm. ACM,1994
5. R.C. Cam, S.T. Vuong, A formal specification in LOTOS of a simplified cellular mobile communication system, in: S.T. Vuong (Ed.), Formal Description Techniques II, North-Holland, Amsterdam, 1990, pp. 485–499.