Шефер, А. В. Разработка языка формального описания и программная реализация его интерпретатора для протоколов передачи данных в распределенных вычислительных системах: магистерская диссертация по направлению подготовки: 09.04.01 - Микропроцессорные системы. - Барнаул: [б.и.], 2016.