Models of Computation and Formal Languages.
Компјутерско програмирање и Формални јазици.