Pnueli G. Seegrnuller

发表

C. Moler, Luckham, J., 2000, Lecture Notes in Computer Science.