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