Book

Therory of Computing

by Robert W. Sebesta, Efim Kinber