Functional program testing and analysis - William E Howden (Mcraw-Hill, New York, 1987)