Federal Networking Council, "U.S. Government Internet Domain Names", RFC 1816, DOI 10.17487/RFC1816, August 1995, <https://www.rfc-editor.org/info/rfc1816>.