Formal Description Techniques, VI : Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93 - Tenney, Richard L. (edición); Amer, Paul D. (edición); Umit Uyar, M. (edición) (North-Holland : Elsevier)