A. Woog

发表

Stéphane Natkin, Gerard Florin, A. Woog, 1983, Protocol Specification, Testing, and Verification.