Stumme, Gerd: Boolesche {B}egriffe. TH Darmstadt, Diplomarbeit, 1994