Specification techniques for concurrent and distributed systems - Ehrig, Hartmut 1944-2016; Große-Rhode, Martin; Heise, Andreas (Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1992)