Intel iPSC/1, TI Explorer II, Symbolics 3620 documentation, software sought