Functional Program Testing & Analysis - Sudarman, Ari & Faried Wijaya (USA: MacGraw-Hill Book Company, 1987, 1987)