doi dblp Problem solving techniques for the design of algorithms Elaine Kant | Allen Newell 1984 Volume 20 Issue 1-2