APA (7th ed.) Citation

Schreiner, W. (2021). Thinking programs: Logical modeling and reasoning about languages, data, computations, and executions. Springer.

Chicago Style (17th ed.) Citation

Schreiner, Wolfgang. Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions. Cham: Springer, 2021.

MLA (9th ed.) Citation

Schreiner, Wolfgang. Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions. Springer, 2021.

Warning: These citations may not always be 100% accurate.