Efficient Declarative Programming in OCaml - Silvério, Diogo Rafael Rebocho (2022)