Буренков В.С. Метод и средства верификации протоколов когерентности памяти : автореф. дис. .. канд. техн. наук: 05.13.11 / В. С. Буренков, 2017. - 28 с. - Текст : непосредственный.