Barbara Simons, David Alpern, Jeanne Ferrante: A Foundation for Sequentializing Parallel Code. SPAA 1990: 350-359