Federal Networking Council, "U.S. Government Internet Domain Names", RFC 1811, DOI 10.17487/RFC1811, June 1995, <https://www.rfc-editor.org/info/rfc1811>.