On the use of the HOL system for Protocol Verification.

Rachel Cardell-Oliver On the use of the HOL system for Protocol Verification. 59-62 1991 conf/tphol/1991 TPHOLs db/conf/tphol/tphol1991.html#Cardell-Oliver91