D. Dolev, M Függer, C. Lenzen, U. Schmid, A. Steininger: "Fault-tolerant Distributed Systems in Hardware"; Bulletin of the EATCS, 2 (2015), 116; 43 pages.