Thinking Programs. Logical Modeling and Reasoning About Languages, Data, Computations, and ExecutionsWolfgang Schreiner74,89 €