Title: Calculational system design
Subjects: Congresses, Computer science, System design