Sample-Path Analysis of Queueing Systems by Muhammad El-Taha & Shaler Stidham