Protocol Specification, Testing and Verification, XIII

A. Danthine , G. Leduc , P. Wolper