Ishii, H. (2018). A Purely Functional Computer Algebra System Embedded in Haskell. https://doi.org/10.1007/978-3-319-99639-4_20