Current trends in programming methodology : PROGRAM VALIDATION. VOL.2 - Yeh, Raymond T. (Prentice-Hall, Inc, 1977)