Functional program testing and analysis - HOWDEN, William E. (McGraw-Hill Book, 1987)