Uvod do Booleovy algebry a navrhovani logi - HOERNES, G.E (1969)