Leaf Petersen Enrico Pontelli Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010 DAMP ACM 2010 978-1-60558-859-9 db/conf/popl/damp2010.html