Bernd J. Krämer: Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems. Oldenbourg Technical University of Berlin, Germany 1989, ISBN 978-3-486-21438-3, 1-179