Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup. - Berlin ; New York : Springer-Verlag, 1982. ISBN: 0387114904 (U. S.) Subjects--Index Terms: საინფორმაციო ტექნოლოგიები კომპიუტერული ტექნოლოგიები კომპიუტერული პროგრამები