Formal aspects of cognitive processes : interdisciplinary conference, Ann Arbor, March 1972 - Winter, David; Storer, Thomas (Lecture notes in computer science, 1975)