1. Human-style Theorem Proving Using PVS;Archer,1997
2. Process Algebra;Baeten,1990
3. Barras, B., S. Boutin, C. Cornes, J. Courant, J.-C. Filliatre, E. Gimenez, H. Herbelin, G. Huet, C. Munoz, C. Murthy, C. Parent, C. Paulin-Mohring, A. Saibi and B. Werner, The Coq proof assistant reference manual: Version 6.1, Technical Report 0203, INRIA (1997)
4. Process Algebra in PVS;Basten,1999
5. Butler, M., T. Hoare and C. Ferreira, A trace semactics for long-running transaction, in: A. Abdallah, C. Jones and J. Sanders, editors, Proceedings of 25 Years of CSP, LNCS 3525 (2004)