@book{919,
	author = {Ratcliff, Bryan},
	title = {Introducing specification using z:a practical case study approach / Bryan Ratcliff},
	publisher = {London ; New York : McGraw-Hill, c1994.},
	address = {London ; New York : McGraw-Hill, c1994.}
}