Έλεγχος προγραμμάτων συνδυάζοντας συμβολική και συμπαγή εκτέλεση με αυτόματη παραγωγή τιμών εισόδου - Γιάντσιος, Άγγελος Δ. (N/A, 1970)