Test reduction: I--Introduction and review of published work. Issue 6239 (23rd August 1980)