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