David Perry Wolfgang Stadje Shelemyahu Zacks The M/G/1 Queue with Finite Workload Capacity. 7-22 2001 39 Queueing Syst. 1 db/journals/questa/questa39.html#PerrySZ01