@book{3480,
	author = {Mills, Bruce,},
	title = {Practical formal software engineering :},
	publisher = {Cambridge University Press,},
	year = {2009.},
	address = {New York :}
}