The chain of logic - Engel S., Morris, 1931- , (Prentice-Hall, 1987)