A mathematical theory for optimising parallel code - Dowling, Michael L. (1987)