Principles and Practice of Declarative Programming

Book by Gopalan Nadathur