1. Amla N, Ammann P. Using Z specifications in category partition testing. In Proceedings of COMPASS 1992, the Seventh Annual Conference on Computer Assurance, pp 3–10, 1992.
2. Brien SM, Nicholls JE. Z base standard version 1. 0. Technical report, Programming Research Group, Oxford University Computing Laboratory, Oxford University, 1992.
3. Cusack E, Wezeman C. Deriving tests for objects specified in Z. In Bowen JP, Nicholls JE (eds), Z User Workshop. Springer-Verlag, 1993.
4. Dick J, Faivre A. Automatic partition analysis of VDM specifications. Technical Report RAD/DMA/92027, Research and Advanced Development, Bull Systems Products, BULL S.A., Rue Jean Jaurès, 78340 Les Clayes-sous-Bois, France, 1992.
5. Dick J, Faivre A. Automating the generation and sequencing of test cases from model-based specifications. In Woodcock JCP, Larsen PG (eds), FME’93 Industrial Strength Formal Methods, Lecture Notes in Computer Science 670, pp 268–284. Springer-Verlag, 1993.