Computational schemes for two exponential servers where the first has a finite buffer. - Moshe Haviv; Rita Zlotnikov (RAIRO Oper. Res., 2011)