Nhập môn tin học lý thuyết tính toán và các ôtômát - Salomaa, Arto. (Khoa học và Kỹ thuật, 1992)