Otomata dan bahasa-bahasa formal : sebuah pengantar - Kelley, Dean (Prenhallindo, 1999)