Specification of parallel algorithms DIMACS workshop, May 9-11, 1994 - Blelloch Guy E.; Chandy K. Mani; Jagannathan Suresh (American Mathematical Society, 1994)