형식언어와 오토마타 - Linz, Peter; 장직현, 역; 김응모, 역; 엄영익, 역; 한광록, 역 (홍릉과학출판사, 2008)