5 works on record
Byzantine agreement by distributed randomization in 0(log n) rounds
1984
On the depth of a random graph
1983
Parallel algorithm derivation and program transformation
Synthesis of Parallel Algorithms
Handbook of parallel computing
