Dynamic scheduling of batch operations with non-identical machines by D.J. van der Zee