Isi Mitrani J. H. Hine Complete Parameterized Families of Job Scheduling Strategies Acta Inf. 8 1977 61-73 db/journals/acta/acta8.html#MitraniH77