Book

Constructive Analysis and Synthesis of Programs

by Marco Benini