Logic machines and diagrams. - Gardner Martin (Chicago The University Press Of Chicago, 1982)