VEDA 2: Power to the protocol designers. - Laurent Doldi; P. Gauthier (FORTE, 1992)

VESAR: A Pragmatic Approach to Formal Specification and Verification. - Bernard Algayres; Veronigue Coelho; Laurent Doldi; Hubert Garavel; Yves Lejeune; Carlos Rodríguez (Comput. Networks ISDN Syst., 1993)