author = {Wolfgang Schreiner},
title = {{Thinking Programs}},
language = {english},
series = {Texts & Monographs in Symbolic Computation},
publisher = {Springer, Cham, Switzerland},
isbn_issn = {Hardcover ISBN 978-3-031-99704-4, Softcover ISBN 978-3-031-99707-5, eBook ISBN 978-3-031-99705-1},
year = {2025},
edition = {2nd},
translation = {0},
length = {641},
url = {https://doi.org/10.1007/978-3-031-99705-1}