Logic machines, diagrams and boolean algebra. - Gardner, Martin (Dover Books, 1968)