Todo: This section should provide references for people who need more detail (right now, protocol specification)