Formal description techniques. Vol. V : Internat. conf. for distributed systems and communications protocols - FORTE '92, Perros-Guirec, France, 13 - 16 Oct. 1992 - Doldi, L. (IFIP transactions C : Communication systems, 1993)