Functional Program Testing and Analysis - Howden, William E. (New York Mcgraw-Hill, 1987)
Keywords: Computer programs--Testing; Computer programs--Validation