1. Texts and Monographs in Computer Science;D. Gries,1993
2. Goguen, J., Malcolm, G. (eds.): Software Engineering with OBJ: Algebraic Specification in Action. Kluwer Academic Publishers, Dordrecht (2000)
3. Ogata, K., Futatsugi, K.: Formally modeling and verifying Ricart&Agrawala distributed mutual exclusion algorithm. In: APAQS 2001, pp. 357–366. IEEE CS Press, Los Alamitos (2001)
4. Ogata, K., Futatsugi, K.: Formal analysis of Suzuki&Kasami distributed mutual exclusion algorithm. In: FMOODS 2002, pp. 181–195. Kluwer Academic Publishers, Dordrecht (2002)
5. Lecture Notes in Computer Science;K. Ogata,2003