购买，D.B。;O.M.科列盖夫。 软件开发Z、B和VDM中的形式化方法：比较分析。 （乌克兰语。英文摘要） Zbl 1363.68037号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2015年第4期，96-101（2015）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Buy}和\textit{O.M.Kolegaev}，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2015，第4期，第96-101页（2015；Zbl 1363.68037）
Bychkov，A.S。 脉冲模糊线性混合自动机的稳定性。 （乌克兰语。英文摘要） Zbl 1289.93066号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2012年第2期，79-86（2012）.MSC公司：93立方 65年第68季度 93立方厘米 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Bychkov}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2012，第2号，第79-86号（2012；Zbl 1289.93066）
Nikitchenko、Mykola S。;塔拉斯五世潘琴科。 组合编程语言中的数据结构。 （乌克兰语。英文摘要） Zbl 1067.68557号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2004年，第2期，316-325（2004）.MSC公司：68第05页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Nikitchenko}和\textit{T.V.Pantchenko}，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍夫琴卡，2004年，第2号，316-325（2004年；兹bl 1067.68557）