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