Springer has just released a new textbook by Manuel Kauers about D-finite Functions.
Concrete Abstractions - Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker by Wolfgang Schreiner (RISC)
The book edited by Michael Singer and Clemens Raab on the milestones of integration in finite terms has just appeared.
Thinking Programs - Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
by Wolfgang Schreiner (RISC)
Engineering and Social Models for a Trans-humanist World
by Franz Barachini and Christian Stary
Prof. Alois Birklbauer’s useful reference into procedural law for a quick overview and in-depth insight.