[0] https://www.semanticscholar.org/paper/Functional-C-Hartel-Mu...
[1] https://ris.utwente.nl/ws/portalfiles/portal/5128727/book.pd...
(edit) add download link and background.