Peter Schneider-Kamp, Michael Hanus: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark. ACM 2011, ISBN 978-1-4503-0776-5