Jeffrey R. Spirn Multi-Queue Scheduling of Two Tasks Acta Inf. 7 1976 217-226 db/journals/acta/acta7.html#Spirn76