Stav dette: Functional Program Testing And Analysis William E. Howden