I was going to mention Polya's book, but you did first. There is also Dromey's How to Solve it by Computer, which was inspired by Polya's book. I have both, f

I was going to mention Polya's book, but you did first. There is also Dromey's How to Solve it by Computer, which was inspired by Polya's book. I have both, from quite a while ago, and think both are good. https://en.m.wikipedia.org/wiki/How_to_Solve_It https://en.m.wikipedia.org/wiki/How_to_Solve_It https://en.m.wikipedia.org/wiki/How_to_Solve_it_by_Computer https://en.m.wikipedia.org/wiki/How_to_Solve_it_by_Computer