Интересное RFC, исследующее принципы построения надежных протоколов. Этакое назидание будущим поколениям разработчиков протоколов, как не ходить по уже собранным граблям.