Functional program testing and analysis - HOWDEN, William E. (McGraw-Hill Series in Sofware Engineering and Technology, 1987)