Formalni jezici i prevodioci : prevođenje i primjene - Dovedan Han, Zdravko (Udžbenici Sveučilišta u Zagrebu = Manualia Universitatis studiorum Zagrabiensis, 2013)