Book

Introduction to automata

by Nelson, R. J.