LPC: A Concurrent Programming Laboratory. - Marc V. Benveniste (STACS, 1988)

Writing Operational Semantics in Z: A Sructural Approach. - Marc V. Benveniste (VDM Europe (1), 1991)

CASTING: A Formally Based Software Test Generation Method. - Lionel Van Aertryck; Marc V. Benveniste; Daniel Le Métayer (ICFEM, 1997)

On Using B in the Design of Secure Micro-controllers: An Experience Report. - Marc V. Benveniste (B@FM, 2011)