Драч В.В. Автоматизация разработки программного обеспечения логики функционирования космических аппаратов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.14 / В. В. Драч, 1995. - 16 с. - Текст : непосредственный.