Inspection methods in programming (1981)