Exploring Formalisation - Clara Löh (Springer, 2022)