During the 1970-1980 the subject of research of theoretical programming was formed.
Την περίοδο 1970-1980 δημιουργήθηκε το αντικείμενο της έρευνας του θεωρητικού προγραμματισμού.