Teória vyčísliteľnosti - Satko, Ladislav, 1941- (SVŠT v Bratislave, 1986)