Contacts
FACULTY OF COMPUTATIONAL MATHEMATICS AND CYBERNETICS
DEPARTMENT OF COMPUTING SYSTEMS AND AUTOMATION

Bahmurov Anatoly Gennadievich

Bahmurov Anatoly Gennadievich

ISTINA Profile
bahmurov@asvk.cs.msu.ru

Scientific activity

  • Articles in collections
    • Разработка Android приложения, имитирующего датчики интернета вещей 
      Бахмуров А.Г.
      в сборнике ПРОГРАММНЫЕ СИСТЕМЫ И ИНСТРУМЕНТЫ Тематический сборник, издательство ООО "МАКС Пресс" (Москва), том 23, с. 23-34
  • Articles in collections
    • Stopwatch Automata-Based Model for Efficient Schedulability Analysis of Modular Computer Systems 
      Glonina Alevtina, Bahmurov Anatoly
      в сборнике Parallel Computing Technologies. 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings, серия Lecture Notes in Computer Science, место издания Springer International Publishing, том 10421, с. 289-300
  • Presentations at scientific conferences
    • Математическая модель функционирования модульных ВС РВ для проверки допустимости конфигураций таких систем 
      Бахмуров А.Г., Глонина А.Б.
      Ломоносовские чтения – 2017, МГУ имени М.В. Ломоносова, Russia, 17-26 апреля 2017
    • Распределенная платформа управления с высокой степенью готовности для программно-конфигурируемых сетей 
      Пашков В.Н., Бахмуров А.Г.
      Ломоносовские чтения – 2017, МГУ имени М.В. Ломоносова, Russia, 17-26 апреля 2017
  • Theses reports
    • Математическая модель функционирования модульных ВС РВ для проверки допустимости конфигураций таких систем 
      Глонина А.Б., Бахмуров А.Г.
      в сборнике Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В.Ломоносова, 17-26 апреля 2017 г. Тезисы докладов, место издания МАКС Пресс Москва, тезисы, с. 74-74
    • Распределенная платформа управления с высокой степенью готовности для программно-конфигурируемых сетей 
      Пашков В.Н., Бахмуров А.Г.
      в сборнике Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В.Ломоносова, 17-26 апреля 2017 г. Тезисы докладов, место издания МАКС Пресс Москва, тезисы, с. 83-83
  • Articles in collections
    • Подход к использованию имитационного моделирования при решении задач синтеза и планирования в модульных вычислительных системах 
      Балашов В.В., Бахмуров А.Г., Глонина А.Б.
      в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Издательский отдел факультета ВМиК МГУ Москва, МГУ, том 15, с. 116-136
  • Awards and prizes
    • почетное звание «Заслуженный научный работник Московского университета» 
      Бахмуров А.Г.
      МГУ имени М.В. Ломоносова, Россия
  • Participation in conference program committees
  • Authorship of courses
    • Имитационное моделирование в исследовании и разработке информационных систем 
      Бахмуров А.Г.
  • Scientific reports
  • Articles in collections
    • Simulation modeling based method for choosing an effective set of fault tolerance mechanisms for real-time avionics systems 
      Bakhmurov A., Balashov V., Glonina A., Pashkov V., Smeliansky R., Volkanov D.
      в сборнике EUCASS advances in aerospace sciences book series, место издания EDP Sciences, France, том 6, с. 487-500
  • Articles in journals
    • Integrated Environment for the Analysis and Design of Distributed Real-Time Embedded Computing Sustems  
      Smelyansky R.L., Bakhmurov A.G., Volkanov D.Yu, Chemeritskii E.V.
      в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 39, № 5, с. 242-254
    • Problems of instrumental support for the development of distributed embedded real time systems  
      Bakhmurov A.G., Smeliansky R.L.
      в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 39, № 5, с. 221-232
    • Интегрированная среда для анализа и разработки встроенных вычислительных систем реального времени  
      Бахмуров А.Г., Волканов Д.Ю., Смелянский Р.Л., Чемерицкий Е.В.
      в журнале Программирование, № 5, с. 35-52
    • Проблемы инструментальной поддержки разработки распределённых встроенных систем реального времени  
      Бахмуров А.Г., Смелянский Р.Л.
      в журнале Программирование, № 5, с. 5-21
  • Articles in collections
    • Method For Choosing An Effective Set Of Fault Tolerance Mechanisms For Real-Time Embedded Systems, Based On Simulation Modeling 
      Bakhmurov A.G., Balashov V.V., Pashkov V.N., Smeliansky R.L., Volkanov D.Yu
      в сборнике Problems of dependability and modeling, издательство OFICYNA WYDAWNICZA POLITECHNIKI WROCLAWSKIEJ (WYBRZEZEWYSPIANSKIEGO 27, WROCLAW, POLAND, 50-370), с. 13-26
    • Simulation Modeling Based Method For Choosing An Effective Set Of Fault Tolerance Techniques For Real-Time Avionics Systems 
      Bakhmurov A.G., Balashov V.V., Glonina A.B., Pashkov V.N., Smeliansky R.L., Volkanov D.Yu
      в сборнике Proc.4th EUCASS European Conference for Aerospace Sciences, место издания St. Petersburg, Russia
    • Tools For Monitoring Of Data Exchange In Real-Time Avionics Systems 
      Balashov V.V., Balakhanov V.A., Bakhmurov A.G., Chistolinov M.V., Shestov P.E., Smeliansky R.L., Youshchenko N.V.
      в сборнике Proc.4th EUCASS European Conference for Aerospace Sciences, место издания St. Petersburg, Russia
  • Presentations at scientific conferences
  • Articles in collections
    • Применение среды моделирования ДИАНА для моделирования бортовых вычислительных систем 
      Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Чистолинов М.В., Ющенко Н.В.
      в сборнике Труды Международной научной конференции "Моделирование-2010", место издания Киев, Украина, том 1, с. 225-232
  • Articles in journals
  • Supervision of diploma projects
    • Сжатие трасс имитационных моделей 
      Бахмуров А.Г.
      Автор: Кирюшин М.В. (Специалист)
  • Articles in collections
    • A Hardware-in-the-Loop Simulation Environment for Integration of Distributed Avionics Systems 
      Bakhmurov A.G., Balashov V.V., Chistolinov M.V., Smeliansky R.L., Volkanov D.Yu, Youshchenko N.V.
      в сборнике Proc. 3rd EUCASS European Conference for Aerospace Sciences (EUCASS'2009), том 1
    • Simulation Modeling Based Method For Choosing An Optimal Set Of Fault Tolerance Techniques For Real-Time Systems 
      Bakhmurov A.G., Pashkov V.N., Smeliansky R.L., Volkanov D.Yu
      в сборнике Proc. 3rd EUCASS European Conference for Aerospace Sciences (EUCASS'2009)
    • Методика поиска оптимального набора механизмов отказоустойчивости для вычислительных систем реального времени 
      Бахмуров А.Г., Волканов Д.Ю., Смелянский Р.Л.
      в сборнике Методы и средства обработки информации: Третья Всероссийская научная конференция. Труды конференции, место издания Издательский отдел факультета ВМиК МГУ имени М.В. Ломоносова; МАКС Пресс Москва, с. 26-31
    • Стенд полунатурного моделирования для разработки встроенных вычислительных систем 
      Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Смелянский Р.Л., Чистолинов М.В., Ющенко Н.В.
      в сборнике Методы и средства обработки информации: Третья Всероссийская научная конференция. Труды конференции, место издания Издательский отдел факультета ВМиК МГУ имени М.В. Ломоносова; МАКС Пресс Москва, с. 16-25
    • Стенд полунатурного моделирования для разработки встроенных вычислительных систем реального времени 
      Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Смелянский Р.Л., Чистолинов М.В.
      в сборнике Труды Четвертой всероссийской научно-практической конференции «Имитационное моделирование. Теория и практика» (ИММОД-2009), место издания ОАО «ЦТСС» Санкт-Петербург, с. 215-220
  • Articles in journals
  • Presentations at scientific conferences
    • Simulation Modeling Based Method For Choosing An Optimal Set Of Fault Tolerance Techniques For Real-Time Systems 
      Bakhmurov A.G., Pashkov V.N., Smeliansky R.L., Volkanov D.Yu
      3rd EUCASS European Conference for Aerospace Sciences (EUCASS'2009), Версаль, France, 6-9 июля 2009
    • Методика поиска оптимального набора механизмов отказоустойчивости для вычислительных систем реального времени 
      Бахмуров А.Г., Волканов Д.Ю., Смелянский Р.Л.
      III Всероссийская научная конференция «Методы и средства обработки информации» (MCO-2009), Москва, 6-8 октября 2009., Москва, Russia, 2009
    • Стенд полунатурного моделирования для разработки встроенных вычислительных систем 
      Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Смелянский Р.Л., Чистолинов М.В., Ющенко Н.В.
      III Всероссийская научная конференция «Методы и средства обработки информации» (MCO-2009), Москва, 6-8 октября 2009., Москва, Russia, 2009
  • Articles in collections
    • A Hardware-in-the-Loop Simulation Environment for Real-Time Systems Development and Architecture Evaluation 
      Balashov V.V., Bakhmurov A.G., Chistolinov M.V., Smeliansky R.L., Volkanov D.Yu, Youshchenko N.V.
      в сборнике Proc. 3rd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX'2008), с. 80-86
    • Исследование методов разработки средств сжатия и распаковки трасс 
      Бахмуров А.Г.
      в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания МАКС Пресс Москва, том 9, с. 193-199
    • Применение стенда полунатурного моделирования для разработки вычислительных систем морского навигационного комплекса 
      Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Чистолинов М.В.
      в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания МАКС Пресс Москва, том 9, с. 153-165
    • Стенд полунатурного моделирования для разработки встроенных систем реального времени и оценки их архитектур 
      Балашов В.В., Бахмуров А.Г., Чистолинов М.В., Смелянский Р.Л., Волканов Д.Ю.
      в сборнике Труды Международной научной конференции «Космос, астрономия и программирование (Лавровские чтения)» 20-22 мая 2008 г, место издания ЦНИИ «Электроприбор» СПб, с. 267-275
  • Supervision of diploma projects
    • Интеграция систем моделирования ДИАНА и SystemC 
      Бахмуров А.Г.
      Автор: Климович Д.А. (Специалист)
  • Theses reports
    • Опыт применения программной среды ДИАНА для моделирования и интеграции бортовых вычислительных систем 
      Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Смелянский Р.Л., Чистолинов М.В., Мамонтов Г.Т., Юхта П.В.
      в сборнике Рефераты докладов XXVI конференции памяти выдающегося конструктора гироскопических приборов Н.Н. Острякова, место издания ЦНИИ «Электроприбор» С.-Петербург, тезисы, с. 60-61
  • Supervision of diploma projects
    • Среда разработки моделей системы ДИАНА 
      Бахмуров А.Г.
      Автор: Зизин М.А. (Специалист)
  • Articles in collections
    • Инструментальная поддержка процесса разработки ПО для спецвычислителей на основе процессора Л1879ВМ1 
      Бахмуров А.Г., Егисапетов Э.Г., Прус В.В., Савенков К.О., Смелянский Р.Л.
      в сборнике Методы и средства обработки информации. Труды второй Всероссийской научной конференции, место издания Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова Москва, с. 450-456
  • Supervision of diploma projects
    • Построение отладчиков для специализированных языков имитационного моделирования на базе отладчика GDB 
      Бахмуров А.Г.
      Автор: Мартьянов А.А. (Специалист)
    • Разработка и реализация средства нечёткого поиска в трассах имитационных моделей 
      Бахмуров А.Г.
      Автор: Попиков П.Н. (Специалист)
  • Supervision of diploma projects
    • Визуальное представление и разработка моделей распределенных многопроцессорных вычислительных систем на языке UML 
      Бахмуров А.Г.
      Автор: Трубанёв К.В. (Специалист)
  • Articles in collections
    • Модель NM – средство сравнительного анализа различных вариантов организации функционального ПО для спецвычислителей на основе процессора Л1879ВМ1 
      Бахмуров А.Г., Борисов Ю.И., Егисапетов Э.Г., Смелянский Р.Л.
      в сборнике научной конференции "Методы и средства обработки информации" (1 октября – 3 октября 2003 г., г. Москва), место издания Издательский отдел факультета ВМиК МГУ Москва, с. 296-303
  • Certificates of software rights registration
  • Articles in collections
    • Среда моделирования многопроцессорных вычислительных систем 
      Смелянский Р.Л., Бахмуров А.Г.
      в сборнике Труды Международной научно-технической конференции "СуперЭВМ и многопроцессорные вычислительные системы (МВС'2002)", место издания Изд-во ТРТУ Таганрог, с. 135-140
  • Supervision of diploma projects
    • Разработка среды визуализации функционирования распределенных программ 
      Бахмуров А.Г.
      Автор: Тихонов А.В. (Специалист)
    • Создание средств разработки ИМ ВС для архитектуры HLA на базе среды моделирования «ДИАНА» 
      Бахмуров А.Г., Чистолинов М.В.
      Автор: Воробьёв М.А. (Специалист)
  • Articles in collections
    • Инструментальная поддержка проектирования распределенных встроенных вычислительных систем 
      Бахмуров А.Г., Смелянский Р.Л., Чистолинов М.В.
      в сборнике , Труды Международной конференции "Параллельные вычисления и задачи управления" Москва, 2-4 октября 2001 г. Институт проблем управления им. В.А.Трапезникова РАН, место издания Изд-во Института проблем управления им. В.А.Трапезникова Москва, с. 33-43
  • Articles in collections
    • On the logical and timed analysis of an airborne navigation system by means of DYANA 
      Smeliansky R.L., Bahmurov A., Chistolinov M., Konchakov R., Tsarkov D.
      в сборнике 4th World Multiconference of Systemics, Cybernetics and Informatics (SCI2000), место издания Zakharov Orlando, USA
    • Towards a unified toolset for embedded systems development 
      Bahmurov A.G., Chistolinov M.V., Epatko I.V., Smelyanskij R.L., Zakharov V.A.
      в сборнике Proceedings of the conference UKRPROG-2000 “Problems of Programming “, том 1, с. 316-322
    • О международном проекте в области проверки правильности программного обеспечения встроенных систем 
      Бахмуров А.Г., Захаров В.А., Смелянский Р.Л., Чистолинов М.В.
      в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Изд-факультета ВМиК МГУ Москва, том 1, с. 24-31
    • Среда моделирования многопроцессорных вычислительных систем 
      Бахмуров А.Г., Чистолинов М.В.
      в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Изд-факультета ВМиК МГУ Москва, том 1, с. 42-47
  • Articles in journals
    • Среда моделирования DYANA: анализ и разработка вычислительных систем реального времени  
      Смелянский Р.Л., Бахмуров А.Г.
      в журнале Известия ЮФУ. Технические науки, издательство Федеральное государственное автономное образовательное учреждение высшего образования "Южный федеральный университет" (Ростов-на-Дону), том 16, № 2, с. 364-365
  • Supervision of diploma projects
    • Принципы семантического масштабирования трасс 
      Бахмуров А.Г.
      Автор: Козлов Е.Б. (Специалист)
  • Theses reports
    • On the logical and timed analysis of an airborne navigation system by means of DYANA 
      Bahmurov A., Chistolinov M., Tsarkov D., Smelyanskij R., Zakharov V.A.
      в сборнике 4-th Multiconference of Systematic, Cybernetics and Informatics (SCI-2000), место издания Orlando, USA, тезисы
    • The development and verification of distributed real time embedded computer systems for avionics 
      Bahmurov A.G., Chistolinov M.V., Smelyanskij R.L., Zakharov V.A.
      в сборнике Тезисы докладов четвертого сибирского конгресса по прикладной и индустриальной математике, том 2, тезисы, с. 128-129
  • Articles in collections
    • DYANA: An Environment for Embedded System Design and Analysis 
      Kapitonova A., Bakhmurov A., Smeliansky R.
      в сборнике Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proc., серия Lecture Notes in Computer Science, место издания Springer, том 1579, с. 390-404
    • DYANA: An Evironment for Embedded System Design and Analysispp 
      Smeliansky R.L., Bakhmurov A.G., Kapitonova A.P.
      в сборнике Proceedings of the 32nd Annual Simulation Symposium;, место издания San Diego, California, USA, с. 50-57
  • Theses reports
    • Проблемы анализа и разработки интеллектуальных многопроцессорных систем 
      Смелянский Р.Л., Бахмуров А.Г.
      в сборнике Интеллектуальные и многопроцессорные системы. Тезисы докладов Международной научной конференции, место издания г. Таганрог, Россия, том 1, тезисы, с. 8 -8
  • Articles in collections
    • DYANA – an Environment for Simulation and Analysis of Distributed Multiprocessor Computer Systems 
      SMELIANSKY R.L., BAKHMUROV A.G., KOSTENKO V.A.
      в сборнике Proceedings The 1 st International Conference “DIGITAL SIGNAL PROCESSING AND ITS APPLICATIONS”, место издания Moscow, том 4, с. 84-86
    • Среда моделирования DYANA: синтез, анализ и оптимизация вычислительных систем 
      Бахмуров А.Г., Костенко В.А., Смелянский Р.Л.
      в сборнике Труды всероссийской научной конференции "Фундаментальные и прикладные аспекты разработки больших распределенных программных комплексов", место издания Изд-во Московского университета Москва, с. 28-34
    • Среда моделирования DYANA: синтез, анализ и оптимизация вычислительных систем реального времени 
      Бахмуров А.Г., Костенко В.А., Смелянский Р.Л.
      в сборнике Сборник докладов 1-й Международной конференции «Цифровая обработка сигналов и ее применения», место издания МЦНТИ Москва, том 4, с. 152-156
  • Theses reports
    • DYANA – An Environment for Simulation and Analysis of Distributed Multiprocessor Computer Systems 
      Смелянский Р.Л., Бахмуров А.Г., Костенко В.А.
      в сборнике Тезисы докладов Международной школы-семинара “по автоматизации и компьютеризации в науке технике и промышленности”, место издания Москва, тезисы
    • Среда моделирования DYANA: синтез, анализ и оптимизация вычислительных систем реального времени 
      Смелянский Р.Л., Бахмуров А.Г., Костенко В.А.
      в сборнике Сборник докладов 1-й Международной конференции "Цифровая обработка сигналов и ее применения", место издания Москва, МЦНТИ, том 4, тезисы
  • Articles in collections
    • DYANA – An Environment for Distributed System Design and Analysis 
      Smeliansky R.L., Bakhmurov A.G.
      в сборнике Proceedings of the VII International Workshop on Parallel Processing by Cellular Automata and Arrays (Parcella 96), место издания Berlin, с. 85-92
  • Articles in collections
    • DYANA – the pilot project of investigation of distributed programs and computer systems 
      Smeliansky R.L., Bahmurov A.G.
      в сборнике Proc. of the 2nd Russian-Turkish Seminar New High Information technologies, место издания Gebre, Turkey
    • DYANA – the system for distributed programs and computer systems behavior analysis 
      Smeliansky R.L., Bakhmurov A.G.
      в сборнике Ninth International Symposium on Computer and Information Sciences, место издания Antalya, Turkey
    • Язык описания моделей в системе анализа производительности распределённых вычислительных систем 
      Бахмуров А.Г., Слободяников Д.Б., Смелянский Р.Л.
      в сборнике Программно-аппаратные средства и математическое обеспечение вычислительных систем, место издания Издательство Московского университета Москва, с. 36-45
  • Presentations at scientific conferences
    • DYANA – the pilot project for investigation of distributed programs and computer systems 
      Смелянский Р.Л., Бахмуров А.Г.
      The 2nd Russian-Turkish Seminar "Hew high information technologies: research and development – joint projects", Gebre, Turkey, Turkey, 1994
  • Articles in collections
    • Program behavior invariant as the basis for system performance estimation 
      Smeliansky R.L., Bakhmurov A.G., Kubrak V.A.
      в сборнике Proc. of the PaCT-93 conference, место издания Obninsk, Russia
    • Возможности использования кэш-памяти команд и кэш-памяти данных для повышения эффективности программ на ЭВМ ЕС-1045 
      Бахмуров А.Г.
      в сборнике Системное программирование и вопросы исследования операций, место издания Издательство Московского университета Москва, с. 115-127
  • Articles in journals
    • Comparative analysis of numerical methods for MHD simulation on parallel computer systems 
      Bakhmurov A.G., Smelyanskii R.L.
      в журнале Computational Mathematics and Modeling, издательство Consultants Bureau (United States), том 4, № 2, с. 200-203
  • Articles in collections
    • Язык описания моделей в системе анализа производительности распределенных ВС 
      Смелянский Р.Л., Бакалов Ю.В., Бахмуров А.Г., Кубрак В.А., Слободяников Д.Б.
      в сборнике Вопросы программного обеспечения, место издания Издательство Московского университета Москва
  • Articles in journals
    • Evaluation of two parallelization techniques for the MHD-modeling problem of plasma physics on a multiprocessor computer system 
      Smelyanskii R.L., Bakhmurov A.G.
      в журнале Computational Mathematics and Modeling, издательство Consultants Bureau (United States), том 2, № 4, с. 472-475
    • Laplace – an experimental language for parallel programming of MHD-models in plasma physics 
      Bakhmurov A.G., Popova N.N., Smelyanskii R.L., Khanov A.V.
      в журнале Computational Mathematics and Modeling, издательство Consultants Bureau (United States), том 2, № 4, с. 467-471
  • Articles in collections
    • Сравнительный анализ численных методов МГД-моделирования 
      Смелянский Р.Л., Бахмуров А.Г.
      в сборнике Вычислительные системы и вопросы принятия решений, место издания Издательство Московского университета Москва
  • Articles in collections
    • Оценки двух способов распараллеливания задачи МГД-моделирования физики плазмы на мультипроцессорной ВС 
      Смелянский Р.Л., Бахмуров А.Г.
      в сборнике Программное оборудование и вопросы принятия решений, место издания Издательство Московского университета Москва, с. 20-25
    • Экспериментальный язык для параллельного программирования МГД-моделей физики плазмы ЛАПЛАС 
      Бахмуров А.Г., Воеводин В.В., Попова Н.Н., Смелянский Р.Л.
      в сборнике Программное оборудование и вопросы принятия решений, место издания Издательство Московского университета Москва, с. 12-19
  • Articles in collections
    • Лаплас — язык параллельного программирования для решения задач МГД-моделирования физики плазмы 
      Бахмуров А.Г., Воеводин Вл В., Смелянский Р.Л., Ханов А.В.
      в сборнике Математическое обеспечение и вопросы принятия решения, место издания М.: Изд-во МГУ Москва
    • Синхронизация процессов в ОС ДЕМОС 
      Бахмуров А.Г., Домашов О.В., Смелянский Р.Л.
      в сборнике Программно-аппаратное и математическое обеспечение вычислительных систем, место издания Издательство Московского университета Москва, с. 46-50
  • Articles in collections
    • Проект специализированной высокопроизводительной ВС 
      Смелянский Р.Л., Бахмуров А.Г.
      в сборнике Труды 1-й Всесоюзной конференции "Супер- ЭВМ" Минск-87, место издания Минск
  • Articles in journals
    • Об одной математической модели для расчета динамических характеристик программ 
      Смелянский Р.Л., Гурьев Д.Е., Бахмуров А.Г.
      в журнале Программирование, № 1