Alan L. Davis, Shane V. Robison: The FAIM-1 Symbolic Multiprocessing System. COMPCON 1985: 370-375