Topics in the theory of computation - Karpinski, Marek (North-Holland mathematics studies, 1985)