High Level Transition Systems Of Csp Specifications door Markus Dahlweid