Nhập môn TH Lt tính toán và các otomat - Arto Salomaa (Khoa học và kỹ thuật, 1992)