An introduction to software quality control - Cho, Chin-Kuei (Wiley, 1980)