A Protocol for Supporting the ABT/DT Capability. - Pierre Crégut; Fabrice Guillemin; Barbara Heyd (ICNP, 1996)

A Modular Coding of UNITY in COQ. - Barbara Heyd; Pierre Crégut (TPHOLs, 1996)

Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis. - Boutheina Chetali; Barbara Heyd (TPHOLs, 1997)

Application de la théorie des types et du démonstrateur COQ à la vérification de programmes parallèles. (Application of type theory and the COQ assistant to the verification of parallel programs). - Barbara Heyd (1997)

Progress Properties for Empty UNITY Programs. - Pierre Crégut; Barbara Heyd (Inf. Process. Lett., 1999)