Formalisation Through Taxation - Richter (Springer International Publishing, 2019)