Spoľahlivý návrh počítačov na úrovni logických obvodov : Výskumná úloha č. III-2-2/9. (Správa k priebežnej eponentúre - Beňo, Slavomír; Hlavatý, Jozef; Hudec, Ladislav, 1950-; Kolesár, Milan, 1942-; Kotočová, Margaréta (SVŠT v Bratislave EF, 1978)