Lazear, W., "MILNET name domain transition", RFC 1031, DOI 10.17487/RFC1031, November 1987, .