Protocol specification, testing, and verification, VII Proceedings of the IFIP WG 6.1 7th Int. Conference Zurich, Switzerland, 5-8 May, 1987 - Rudin, Harry; West, Colin H. (North-Holland, 1987)
Περιέχει βιβλιογραφικές αναφορές