Books by ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (7th 2005 Lisbon, Portugal)