Diagnostika a spolehlivost číslicových systémů - Hlavička, Jan, 1942-2002 (rz1, 1978)