A New Approach for Distributing Estelle Specifications. - Eric Lallet; Stefan Fischer; Jean-François Verdier (FORTE, 1995)