Functional program : testing and analysis - Howden, William E.