Teória a metodológia programových a dátabázových systémov (Bratislava : Výskumné výpočtové stredisko, 1982)