@book{23518,
	author = {Schneider},
	title = {Concurrent & Real-Time Systems The Csp Approach}
}