Mayer Goldberg

发表

J. J. Horning, W. M. Waite, W. M. McKeeman, 1974, Lecture Notes in Computer Science.