Wolfgang Thomas. Die Logiken von Boole und Büchi-Elgot-Trakhtenbrot in der Beschreibung diskreter Systeme. In Patrick Horster, editor, Angewandte Mathematik, insbesondere Informatik: Beispiele erfolgreicher Wege zwischen Mathematik und Informatik [Festschrift anläßlich der Emeritierung von Professor Dr. Walter Oberschel]. pages 282-300, Vieweg+Teubner Verlag / Springer, 1999. [doi]
Abstract is missing.