Симуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL / В. А. Непомнящий [и др.], 2007. - 69 с. с. - Текст : непосредственный.