@book{12031,
	author = {C. Ghezzi},
	title = {Fundamentals of Software Engineering}
}