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