Techniques of deductive inference. - Leblanc, Hugues, (Prentice-Hall,, 1966)