17/04/2023: Book “Concrete Abstractions” by Wolfgang Schreiner