F. L. De Remer
发表
J. J. Horning,
W. M. Waite,
W. M. McKeeman,
1974,
Lecture Notes in Computer Science.
William M. Waite,
Gerhard Goos,
Peter C. Poole,
1974
.