Подкопаев, Антон Викторович. О корректности компиляции подмножества обещающей модели памяти в аксиоматическую модель ARMv8.3 [Электронный ресурс] / А. В. Подкопаев, О. Лахав, В. Вафеядис. — Электрон. текстовые дан. (1 файл : 1,06 Мб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems: научное издание. – 2017. – Т. 10, № 4 [Электронный ресурс]. — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://doi.org/10.18721/JCSTCS.10405>. — <URL:http://elib.spbstu.ru/dl/2/j18-188.pdf>.