Deduction (1991)

by P Johnson-Laird, J Byrne