Some time ago I requested references (together with hard copies if possible) to work on formal properties (such as Turing equivalence or otherwise) of models used in connectionist research. I would like to renew that request now, since there must be more out there than what I have received to date (while thanking those who have already responded).