Functional program testing and analysis - Howden, William E. (McGraw-Hill series in software engineering and technology, 1987)