Architecture of Advanced Numerical Analysis Systems: Designing a Scientific Computing System Using Ocaml (Paperback)