Inleiding theoretische informatica. - Breukel, P. R. C.; Wiersma, M. P. (Addison-Wesley, 1993)