Title: Fundamentals of deductive program synthesis
Subjects: Computer programming, Symbolic and mathematical Logic