Metódy tvorby programových systémov : niektoré aspekty tvorby programových systémov - Rabenseifer, Alfonz (Bratislava : Výskumné výpočtové stredisko, 1976)