The classical decision problem - Borger, E. (Egon) 1946- (Universitext, 1997)