Sipser, M. Introduction to the theory of Computation - Delhi Cengage 2017 - p.458 ISBN: 9788131525296 Subjects--Topical Terms: Reducibility Decidability Space Complexity Dewey Class. No.: 511.3 S6187