Embedding CSP in PVS : an application to authentication protocols /
Dutertre, Bruno.
Schneider, Steve.
Queen Mary and Westfield College (University of London).Department of Computer Science.
London : Dept. of Computer Science, Queen Mary and Westfield College,
1997.