Point processes and queues : martingale dynamics - Bremaud M1 (New York Springer-Verlag, 1981)