A discrete-time batch transmission channel with random serving capacity under batch-size-dependent service:. Issue 3 (2nd July 2020)