Diagnostika a zabezpečení číslicových systémů - MacCluskey, E. J. (rz1, 1981)