Fundamentals of software engineering - Ghezzi, Carlo (Prentice Hall, 1991)