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