Title: Constructive Methods in Computing Science
Subjects: Electronic data processing, Congresses