Sequential Inference Machine: SIM, its programming and operating system (1984)