1. LYaPAS: A programming language for logic and coding algorithms. N.-Y.; L.: Academic Press, 1969 (with M.A.Gavrilov).
2. Алгоритмы синтеза дискретных автоматов. М.: Наука, 1971.
3. Логические уравнения. Мн., 1975; 2 изд. М.: Едиториал УРСС, 2003.
4. Логический синтез каскадных схем. М.: Наука, 1981.
5. Boolesche Gleichungen: Theorie, Anwendung, Algorithmen. Berlin: VEB Verlag Technik, 1984 (mit D.Bochmann, Ch.Posthoff).
6. Логика распознавания. Мн., 1988; 2 изд. М.: Едиториал УРСС, 2003.
7. Параллельные алгоритмы логического управления. Мн., 1999; 2 изд. М.: Едиториал УРСС, 2003.
8. Полиномиальная реализация частичных булевых функций и систем. Мн., 2001 (совм. с Н. Р. Тороповым).