How to Solve it by Computer - R G Dromey (Person, 2008)