factfinder 8:program testing aids - "wong, kennedy a. " (uk : national computing centre, 1972)