Point processes and queues, martingale dynamics - Bremaud, Pierre (Springer-Verlag, 1981)