Машуков М.Ю. Моделирование спецификаций языка SDL с помощью раскрашенных сетей Петри / М. Ю. Машуков, Т. Г. Чурина, 2007. - 70 с. - Текст : непосредственный.