Berechenbarkeit, Komplexität, Logik. Eine Einf. in Algorithmen, Sprachen u. Kalküle unter bes. Berücks. ihrer Komplexität - Boerger, Egon (Vieweg, 1985)