Υλοποίηση συστήματος τύπων για την αποφυγή αδιεξόδων σε C/Pthreads - Βεκρής, Παναγιώτης Π. (N/A, 1970)