Vyčísliteľnosť a programovanie : Postgrad.štúdium: Tvoba a použitie programového vybavenia počítačov - Satko, Ladislav, 1941- (SVŠT v Bratislave, 1988)