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)

The Intel 432: A VLSI Architecture for Fault-Tolerant Computer Systems. - Dave Johnson 001 (Computer, 1984)

A VLSI-intensive fault-tolerant computer architecture. - Fred J. Pollack; Dave Johnson 001; Dave Carson; Ron Ebersole; Vittal Kini; Konrad Lai; Bernie Silvernail; Steve Stacey (Compcon, 1990)