Programs as Theories of Higher Mental Processes

purl.stanford.edu/wz702ff4726