Point Processes and Queues by Pierre Bremaud