Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993 - International Conference on Formal Description Techniques; Tenney, Richard L. (IFIP transactions, 1994)