Aho Alfred V. and Ullman Jeffrey D.. The theory of languages. Mathematical systems theory , vol. 2 (1968), pp. 97–125.