Teória algoritmov - Bukovský, Lev (Univerzita Pavla Jozefa Šafárika v Košiciach, 2004)