CASE STUDIES IN SYTEMATIC SOFFWARE DEVELOPMENT - Cliff B.Jones and R.C. Shaw. (PRENTICE-HALL, 1990)