A theory of routine in parallel computers by L.D. Aronson