A MATRIX SOLUTION FOR THE TWO SERVER QUEUE WITH OVERFLOW. - Disney, Ralph L. (Management Science (INFORMS), 1972)