3 works on record
Practical Aspects of Declarative Languages
Systematic Program Design
Declarative Logic Programming