1. Survey of protocol definition and verification techniques;Sunshine,1978
2. Datakit—a modular network for synchronous and asynchronous traffic;Fraser;Proc. IEEE International Conference on Communications,1979
3. Algebraic Coding Theory;Berlekamp,1968
4. Basic limits on protocol information in data communications networks;Gallager;IEEE Trans. Information Theory,1976