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