@book{4204,
	author = { Turner,j.g. },
	title = { The construction of formal specifications an introduction to the model-based and algebraic approaches },
	address = { Mcgraw hill }
}