Michael Hanus, Claudio Sacerdoti Coen Functional and Constraint Logic Programming - Springer Springer 2021 ISBN: 9783030753337 Source: EBOOK