Diagnostika a spolehlivost číslicových systémů. Doplňkové skriptum - Hlavička, Jan 1942-2002 (České vysoké učení technické v Praze, 1983)