Concurrent and real-time systems. The CSP approach - Schneider, Steve (Worldwide series in computer science, 2000)