MosheY. Vardi

发表

C. Pandu Rangan, Oscar Nierstrasz, Josef Kittler, 2004, Lecture Notes in Computer Science.