09/11/2021: New Book “Thinking Programs” by Wolfgang Schreiner

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