Formalisation Through Taxation - Jonas Richter (Springer, 2019)