Introduction to Scheduling by Yves Robert