A formal proof for the insensitivity of simple bounds for finite multi-server non-exponential tandem queues
A formal proof for the insensitivity of simple bounds for finite multi-server non-exponential tandem queues / N.M. van Dijk