Kybernetik und SystemtheorieDieter Hogrefe × Estelle, LOTOS und SDLStandard-Spezifikationssprachen für verteilte SystemeDieter HogrefeSpringer BerlineBook2013