John P. Gallagher, Martin Sulzmann Functional and Logic Programming - Springer Springer 2018 ISBN: 9783319906867 Source: EBOOK