Interdisciplinary Conference in the Formal Aspects of Cognitive Processes Ann Arbor, Mich. 1972.