A Foundation for Sequentializing Parallel Code. - Barbara Simons; David Alpern; Jeanne Ferrante (SPAA, 1990)