Boolesche Algebra und Logik-Entwurf Eine programmierte Einführung - Hoernes, Gerhard E. (Oldenbourg, 1968)