@book{58992,
	title = {Rigorous software development :},
	publisher = {Springer,},
	year = {2011},
	series = {Undergraduate topics in computer science,},
	address = {London :}
}