Boolean Reasoning (1990)

by F M Brown