1. Araki, K., Galloway, A., & Taguchi, K. (Eds.) (1999). International Conference on Integrated Formal Methods 1999 (IFM’99). York: Springer.
2. Lecture Notes in Computer Science,2003
3. Bolognesi, T., & Brinksma, E. (1988). Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1), 25–59.
4. Lecture Notes in Computer Science,1998
5. Lecture Notes in Computer Science,2000