1. AHO, A. V., HOPCROFT, J. E., and ULLMAN, J. D.; Design and Analysis of Computer Algorithms; Addison-Wesley, Reading, Massachusetts (1974)
2. ANDERSON, J., COATES, W.S., DAVIS, A.L., HON, R.W., ROBINSON, I.R., ROBINSON, S.V., and STEVENS, K.S.; The Architecture of FAIM-1; Computer 20, 55–67 (1987)
3. Techn. Rep.;M. Aso,1983
4. ASPETSBERGER, K. and KURFESS, F.; Report on the analysis of several possible parallel multi-processor machine architectures; ATP 57, Forschungsgruppe Kuenstliche Intelligenz, Techn. Universitaet, Muenchen (1986)
5. BACHINGER, J.; Implementierung eines parallelen Theorembewisers und Simulation der Ausfuehrung auf einer Mehrprozessormaschine; Institut fuer Informatik, Techn. Universitaet, Muenchen (1987)