Wolfgang Schreiner. <br/><br/>
Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions 

 - Cham  Springer  2021 
<br/><br/><label>ISBN: </label>9783030805074 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical logic. Computer science-Mathematics. Mathematical Logic and Foundations. Mathematics of Computing.