1. Abrial, J.-R.: The B-Book: Assigning programs to meanings. Cambridge University Press, Cambridge (1996)
2. Brinksma, E.: A theory for the derivation of tests. In: Aggarwal, S., Sabnani, K. (eds.) Protocol Specification, Testing and Verification VIII, Atlantic City, USA, pp. 63–74. North-Holland, Amsterdam (1988)
3. Brinksma, E., Scollo, G., Steenbergen, C.: Process specification, their implementation and their tests. In: Sarikaya, B., van Bochmann, G. (eds.) Protocol Specification, Testing and Verification VI, Montreal, Canada, pp. 349–360. North-Holland, Amsterdam (1986)
4. Carrington, D., Stocks, P.: A tale of two paradigms: Formal methods and software testing. In: Bowen, J.P., Hall, J.A. (eds.) Z User Workshop, Cambridge, June 1994, pp. 51–68 (1994)
5. Workshops in Computing 1992;E. Cusack,1993