@book{52960,
	author = {ALMEIDA AND ETC and NO},
	title = {RIGOROUS SOFTWARE DEVELOPMENT: AN INTRODUCTION TO PROGRAM VERIFICATION},
	publisher = {SPRINGER},
	year = {2011}
}