INTRODUCTION TO THE THEORY OF COMPUTATION - SIPSER MICHAEL (CENGAGE LEARING, 2022)