Franco Gasperoni Uwe Schwiegelshohn John Turek Optimal Loop Scheduling on Multiprocessors: A Pumping Lemma for p-Processor Schedules. 51-56 1995 conf/pact/1995 PaCT db/conf/pact/pact1995.html#GasperoniST95