Funkčné a jazykové špecifikácie systému BORIS 72 - Dujnič, Pavol (Výskumné výpočtové stredisko, 1972)