Protocol specification, testing and verification, VI Proceedings of the IFIP WG 6.1 6th international workshop Montreal, Quebec, Canada, June 10-13 1986 - Bochmann, V.; Sarikaya, B. (North-Holland, 1987)
Περιέχει βιβλιογραφικές αναφορές