Making Presentation Math Computable - Greiner-Petter, André (Springer Vieweg, 2023)