Functional and Constraint Logic Programming - Michael Hanus, Claudio Sacerdoti Coen (Springer, 2021)