Číslicové systémy odolné proti poruchám - Hlavička, Jan (ČVUT, 1992)