Michael Hanus, Atsushi Igarashi Functional and Logic Programming - Springer Springer 2022 ISBN: 9783030994617 Source: EBOOK