DEDUCTIVE LOGIC AND DESCRIPTIVE LANGUAGE - Harrison, Frank R. (Prentice-Hall, Inc., 1969)