Concepts, syntax and semantics of SEGRAS : a specification language for distributed systems - Krämer, Bernd, 1947- (Gesellschaft für Mathematik und Datenverarbeitung MBH ;, 1989)