Towards an Integrated Environment for Concurrent programs Development. - Naima Brown; Dominique Méry (AMAST, 1993)

A Proof Environment for Concurrent Programs. - Naima Brown; Dominique Méry (FME, 1993)

Correctness-Preserving Transformations for the Design of Parallel Programs. - Naima Brown (ECOOP Workshop, 1994)

On Mechanizing Proofs within a Complete Proof System for Unity. - Naima Brown; Abdelillah Mokkedem (AMAST, 1995)