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