if i was to design a federated protocol, what papers/rfcs/real world examples should i look at?