1. Program verification using HOL-UNITY;Andersen,1994
2. Verification of Sequential and Concurrent Programs;Apt,1997
3. B. Barras, S. Boutin, C. Cornes, J. Courant, Y. Coscoy, D. Delahaye, D. de Rauglaudre, J. C. Filliatre, E. Giménez, H. Herbelin, G. Huet, H. Laulhère, C. Muñoz, C. Murthy, C. Parent-Vigouroux, P. Loiseleur, C. Paulin, A. Saïbi, and B. Werner. The Coq Proof Assistent Reference Manual, Version 6.3.1, Coq Project. Technical report, INRIA, 1999. http://logical.inria.fr/
4. Towards a compositional approach to the design and verification of distributed systems;Carpentier,1999
5. Parallel Program Design. A Foundation;Chandy,1988