1. Behnia, S., & Waeselynck, H. (1999) Test criteria definition for B models. In Wing et al. [32] (pp. 509–529).
2. Lecture Notes in Computer Science,1988
3. Lecture Notes in Computer Science,1998
4. Lecture Notes in Computer Science,1995
5. Bowen, J. P. & Nicholls, J. E. (Eds.) (1992). Seventh Annual Z User Workshop. London: Springer.