Fundamentals of Software Engineering - Ghezzi, Carlo (PHI, 2004)