Teória a metodológia programových a dátabázových systémov (Výskumné práce výpočtového strediska, 1982)