Metódy tvorby programových systémov : niektoré aspekty tvorby programových systémov - Rabenseifer, Alfonz (Výskumné práce, 1976)