Title: Specification and design of concurrent systems
Subjects: Parallel processing (Electronic computers)