@book{194596,
	author = {Almeida, Jose Bacelar; Frade, Maria Joao; Pinto, Jorge Sousa; Sousa, Simao Melo De.},
	title = {Rigorous software development: an introduction to program verification.},
	publisher = {Springer},
	year = {2015},
	address = {New Delhi},
	edition = {1}
}