Intel iAPX 432: VLSI building blocks for a fault-tolerant computer. - Dave Johnson 001; Dave Budde; Dave Carson; Craig Peterson (AFIPS National Computer Conference, 1983)