The computer science problem solver (1981)