Lý thuyết automat và ngôn ngữ hình thức/Trịnh Thanh Đèo - Trịnh, Thanh Đèo (Đại học quốc gia Tp.HCM, 2008)