@book{327582,
	author = {Mills B. and Mills B.},
	title = {Practical Formal Software Engineering},
	publisher = {Cambridge},
	year = {2009}
}