1. Fine-grain Parallelization and the Wavefront Method;Aiken,1990
2. Program Structures for Parallel Processing;Anderson;Communications of the ACM,1965
3. Guarded Commands, Non-determinism and Formal Derivation of Programs;Dijkstra;Communications of the ACM,1975