Szymanski, B. "Specifying Parallel Programs in Functional Language: the EPL Experience" pp201-223

Specification of Parallel Algorithms, DIMACS Serie (1994) Specification of Parallel Algorithms, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 18, American Mathematical Society, Providence, RI, 1994  

Languages mentioned EPL {1991} Equational language for parallel scientific applications