Architecture of Advanced Numerical Analysis Systems : Designing a Scientific Computing System Using OCaml. - Wang, Liang. (Apress L. P., 2022)