Title: Handbook of process algebra
Subjects: Machine theory, Parallel processing (Electronic computers)