Teória automatov - Satko, Ladislav, 1941- (STU v Bratislave, 1988)