Funcional Program Testing & Analysis - Howden, William E. (McGraw-Hill Book Company, 1987)