Diagrams: tropes, tools, abstract machines - Lueder, Christoph (Spurbuchverlag, 2020)