How to solve it by computer - Dromey, R. G. (Noida, 2022)