@book{23801,
	author = { Jonathan Bowen},
	title = {Formal Specification & Documentation Using Z: A Case Study Approach},
	publisher = { International Thomson Computer Press},
	year = {©1996}
}