1993 ACM A. M. Turing Award
Laureates
ユリス・ハルトマニス
リチャード・スターンズ