Boolean algebra : a self-instructional programmed manual. (Prentice-Hall, 1966)