@book{920,
	author = {Turner, J. G. },
	title = {The construction of formal specifications : an introduction to the model-based and algebraic approaches /J.G. Turner, T.L. McCluskey.},
	address = {London ; New York : McGraw-Hill, c1994.}
}