Is there a document explaining the protocol, something such as the RFCs of the IETF?