@book{25668,
	author = {Roever, Willem-Paul de  and Engelhardt, Kai },
	title = {Data refinement : model-oriented proof methods and their comparison},
	publisher = {Cambridge university press},
	year = {2010},
	url = {https://doi.org/10.1017/CBO9780511663079}
}