Berthold Reinwald, Hartmut Wedekind: Logische Grundlagen eines Triggerentwurfssystems. Informationstechnik Tech. Inform. 35(1): 25-33 (1993)