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

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