2 books • 4 series
Book #26: Specification and Analysis of Concurrent Systems
Book #1020: Paradigms of Concurrency