The classical decision problem - Borger, Egon (Perspectives in mathematical logic, 1987)