LAN Protocol Validation and Evaluation. - S. Rahimi; George Jelatis (IEEE J. Sel. Areas Commun., 1983)