Teorija i kritika perevoda.
Teorija perevoda i perevodčeskaja praktika : očerki lingvističeskoj teorii perevoda /
Teorija i praktika sinchronnogo perevoda /
Iskusstvo perevoda /
Metody modelirovanija perevoda /
Problemy chudožestvennogo perevoda /
Problemy mašinnogo perevoda.
Teorija i praktika perevoda a s anglijskogo jazyka na russkij /
Teorija sekventnogo analiza.
Teorija strukturnogo analiza /
Problemy perevoda : na materiale sovremennogo anglijskogo jazyka /
Kurs perevoda : francuzskij jazyk : obščestvenno-političeskaja leksika.
Kurs vojennogo perevoda : nemeckij jazyk /
Kurs vojennogo perevoda : francuzskij jazyk /
Kurs matematičeskogo analiza. Tom 2.
Technika sinchronnogo perevoda reči.
Kurs matematičeskogo analiza. Tom I.
Teorija zvuka. Tom. I. /
Kurs matematičeskogo analiza. Tom 2. Učebnik.
Kurs vojennogo perevoda. Anglijskij jazyk. Čast´ 2.
Postrojenije i analiz vyčislitel´nych algoritmov /
Principles of compiler design /
Teorija sintaksičeskogo analiza perevoda i kompiljacii. Tom 2. Tom 2. Kompiljacija