Problem solving techniques for the design of algorithms

Elaine Kant, Allen Newell. Problem solving techniques for the design of algorithms. Inf. Process. Manage., 20(1-2):97-118, 1984. [doi]