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