R. J. Linn

• Protocol Specification, Testing and Verification, XII