Nazivlje automatiziranih i mehaniziranih analiza - Rebac-Jirouš, Žana (Array, 1991)