Minds, brains, and programs (1980) [pdf]