Mills, D., "Exterior Gateway Protocol formal specification", RFC 904, DOI 10.17487/RFC0904, April 1984, .