Functional program testing and analysis. - HOWDEN, William E. (Mc Graw Hill, 1987)