Specification of Parallel Algorithms