Pau, P.-Y., & Haccoun, D. (1985). An analysis of sequential decoding with retransmission procedures. (Technical Report n° EPM-RT-85-19). Available