AN INTRODUCTION TO FORMAL LANGUAGE THEORY - Moll, Robert N. (Springer, 1988)