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

New Book “Concrete Abstractions“ by Wolfgang Schreiner in the frame of the Springer Series “Texts & Monographs in Symbolic Computation”.