Software Reliability: Principles and Practices (Business Data Processing, a Wiley Series) Glenford J. Myers
A SURVEY OF PROGRAMMING DESIGN AND SPECIFICATION TECHNIQUES C Jones - Milestones in Software Evolution, 1990 - IEEE Computer Society
Techniques of Program Structure and Design E Yourdon - 1986 - Prentice Hall PTR Upper Saddle River, NJ, USA