Formal description techniques, VIIFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (6th 1993 Boston, Mass.), Richard L. Tenney, Paul D. Amer · First published 1994Open the Tome