Title: Constructive Analysis and Synthesis of Programs
Subjects: Computer programming, System analysis