Modelování na číslicových počítačích : logická simulace - Halaška, Ivan (rz1, 1981)