TY - BOOK AU - Dromey R. G TI - How to solve it by computer PB - Penram KW - Computer Science ER -