- Studying the Oboe: Technical Exercises and Studies for Oboe
- Interpretation of Green Mine Evaluation Index
- OCaml Scientific Computing: Functional Programming in Data Science and Artificial Intelligence
- Architecture of Advanced Numerical Analysis Systems: Designing a Scientific Computing System using OCaml
- Architecture of Advanced Numerical Analysis Systems: Designing a Scientific Computing System using OCaml