3 works on record
Logic-Based Program Synthesis and Transformation
Terrabusi Kraft
Practical Aspects of Declarative Languages