Klaus Peter Muth: Ein Verfahren zur Erkennung statischer und dynamischer Hasards in Schaltnetzen. Elektron. Rechenanlagen 16(5): 188-192 (1974)