Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 - FORTE; Parker, K. R. (Ken R.); Rose, G. A. (Gordon A.) (North-Holland, 1992)
Keywords: Electronic digital computers -- Programming -- Congresses; Formal languages -- Congresses