Human and Machine Thinking - Philip N. Johnson-Laird (Taylor and Francis, 1993)