Алгоритмы, формальные спецификации систем и проблематика программирование // Кибернетика и системный анализ. – 2005. – № 2. – С.187–188
Складова документа:
Кибернетика и системный анализ : международный научно-теоретический журнал. № 2. Т. 41 / НАН Украины, Ин-т кибернетики им. В.М. Глушкова // Кибернетика и системный анализ. – Киев, 2005