Boolean algebra and digital computers - Theodore, Chris A (Merrill's mathematics and quantitative methods series, 1969)