Title: A New Version of Toom's Proof
Author: Peter Gacs
Date: March 27, 1995

Abstract:    

There are several proofs now for the stability of Toom's example of a
two-dimensional stable cellular automaton and its application to
fault-tolerant computation.  Simon and Berman simplified and
strengthened Toom's original proof: the present report is simplified
exposition of their proof.