Functional Program Testing And Analysis William E. Howden - HOWDEN, William E (McGraw-Hill, 1987)