Title: Constructing programs from specifications
Subjects: Computer programming, Congresses