Software development rigonous approach - Jones, Cliff B. (Prentice-Hall International, 1980)