Formalni jezici i prevodioci : regularni izrazi, gramatike, automati - Dovedan Han, Zdravko (Udžbenici Sveučilišta u Zagrebu = Manualia Universitatis studiorum Zagrabiensis, 2012)