Есипов, А. ЛОГИЧЕСКИЕ ОСНОВЫ ПОСТРОЕНИЯ И РАБОТЫ КОМПЬЮТЕРОВ. CTE 2014.