Specifying Parallel Programs in a Functional Language: The EPL Experience. Szymanski, B. K. In Blelloch, G. E.; Chandy, K. M.; and Jagannathan, S., editors, Specification of Parallel Algorithms, volume 18, of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 201-224, 1994. DIMACS/AMS.
Link
Paper bibtex @inproceedings{conf/dimacs/Szymanski94,
added-at = {2016-01-28T00:00:00.000+0100},
author = {Szymanski, Boleslaw K.},
biburl = {http://www.bibsonomy.org/bibtex/22cb4afa63f0e4bcbab602ff72d9bb519/dblp},
booktitle = {Specification of Parallel Algorithms},
crossref = {conf/dimacs/dimacs18},
editor = {Blelloch, Guy E. and Chandy, K. Mani and Jagannathan, Suresh},
ee = {http://dimacs.rutgers.edu/Volumes/Vol18.html},
interhash = {dfa50532031f65999ce0408ef9ee3231},
intrahash = {2cb4afa63f0e4bcbab602ff72d9bb519},
keywords = {dblp},
pages = {201-224},
publisher = {DIMACS/AMS},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
timestamp = {2016-01-29T11:37:33.000+0100},
title = {Specifying Parallel Programs in a Functional Language: The EPL Experience.},
url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs18.html#Szymanski94},
volume = 18,
year = 1994
}