Formalni jezici i prevodioci : prevođenje i primjene - Dovedan Han, Zdravko (Element, 2013)