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