Thinking Programs - Wolfgang Schreiner (Springer, 2021)