Abrial, Jean-Raymond The Bounded Re-transmission Protocol. [Teaching Resource] (Unpublished)