Generalized job shop scheduling by R.J.M. Vaessens