Deductive logic and descriptive language - Harrison, Frank R. (Prentice-Hall, 1969)