Functional and (Constraint) Logic Programming - Escobar, Santiago; Falaschi, Moreno (Information and computation, 2014)