Communication Protocol Specification and Verification
-
inbunden
,
Engelska, 1998