Concepts, syntax and semantics of SEGRAS : a specification language for distributed systems - Krämer, Bernd, 1947- (R. Oldenbourg Verlag, 1989)