@inproceedings{ITiCSE-WGR-1997-FoxleySS,
	author        = "Eric Foxley and Omar Salman and Zarina Shukur",
	booktitle     = "{Working Group Reports of the Second Conference on Integrating Technology into Computer Science Education}",
	doi           = "10.1145/266057.266141",
	pages         = "129--131",
	publisher     = "{ACM}",
	title         = "{The automatic assessment of Z specifications}",
	year          = 1997,
}