M. SIPSER

INTRODUCTION TO THEORY OF COMPUTATION - THOMPSON

511.3