Theoretical limit of type-I hybrid selective-repeat ARQ with finite receiver buffer | IEEE Conference Publication | IEEE Xplore