An Introduction to algebraic logic - Kiss, Stephen Anthony n. 1890 (1961)