R. W. S. Hale

发表

D. Rayner, G. W. Cowin, R. W. S. Hale, 1983, Protocol Specification, Testing, and Verification.