Sofis : aplikačné moduly a testovanie - Michalka, Pavel (Výskumné výpočtové stredisko, 1980)