Schneider Concurrent & Real-Time Systems The Csp Approach ISBN: 0471623733 Dewey Class. No.: 004.33SCH2000