Rewrite Systems for Protocol Specification and Verification.

S. Ramanathan G. Sivakumar Rewrite Systems for Protocol Specification and Verification. 79-94 1990 conf/forte/1990 FORTE db/conf/forte/forte1990.html#RamanathanS90