Der Äquivalenzkalkül Ein Formalismus zur Beschreibung digitaler Nachrichtengeräte - Fromme, Theodor; Fromme, Theodor (Vieweg, 1962)