1976 ACM A. M. Turing Award
Laureates
マイケル・ラビン
デイナ・スコット