Proceedings of the 2007 workshop on Declarative aspects of multicore programming
ACM Digital Library