APA (7th ed.) Citation

Schreiner, W. (2021). Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (1st ed. 2021.). Springer International Publishing. https://doi.org/10.1007/978-3-030-80507-4

Chicago Style (17th ed.) Citation

Schreiner, Wolfgang. Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions. 1st ed. 2021. Cham: Springer International Publishing, 2021. https://doi.org/10.1007/978-3-030-80507-4.

MLA (9th ed.) Citation

Schreiner, Wolfgang. Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions. 1st ed. 2021. Springer International Publishing, 2021. https://doi.org/10.1007/978-3-030-80507-4.