@book{20579,
	author = {Roever, Willem-Paul de and Engelhardt, Kai},
	title = {Data refinement :},
	publisher = {Cambridge University Press,},
	year = {1998},
	series = {Cambridge tracts in theoretical computer science; 47},
	address = {Cambridge, UK:}
}