Proceedings of the IFIP TC/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols FORTE '89 ; Vancouver, Canada, 5 - 8 December, 1989 - Vuong, Son T. (North-Holland, 1990)