Begriffliche und logische Grundlagen eines Triggerentwurfsystems - Reinwald, B.; Wedekind, H.