Of the major achievements of the School at that time, was the creation of algebraic grammar methods for synthesis of software.
Από τα σημαντικότερα επιτεύγματα της Σχολής εκείνη την εποχή, ήταν η δημιουργία μεθόδων αλγεβρικής γραμματικής για τη σύνθεση του λογισμικού.