2 works on record
Handbook of Randomized Computing
Parallel Algorithm Derivation and Program Transformation