Benes's formula for M/G/1–FIFO ‘explained' by preemptive-resume LIFO · Study