1. Azada, D., Muenchaisri, P. (eds.): APSEC 2003: Proceedings of the 10th Asia-Pacific Software Engineering Conference, Chiangmai, Thailand, December 10-12. IEEE Computer Society Press, Los Alamitos (2003)
2. Lecture Notes in Computer Science;D. Bjørner,1990
3. Lecture Notes in Computer Science;D. Bert,2003
4. Derrick, J., Boiten, E.A.: Refinement in Z and Object-Z: Foundations and Advanced Applications. In: Formal Approaches to Computing and Information Technology – FACIT. Springer, Heidelberg (2001)
5. Derrick, J., Boiten, E.A. (eds.): REFINE 2005 International Workshop. Electronic Notes in Theoretical Computer Science. BCS-FACS (April 2005)