Title: Specifying the behavior of concurrent systems
Subjects: Concurrent Pascal (Computer program language), Programming languages (Electronic computers)