Formal description techniques, IV proceedings of IFIP TC6/WG6.1...FORTE'91, Sydney, 19-22 Nov. 1991 - IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (1991 : Sydney); Parker, K. R.; Rose, G. A. (Amsterdam : North-Holland Publishing Company, 1992)
Keywords: Electronic digital computers -- Programming -- Congresses; Formal languages -- Congresses