А. Н. Бездушный ,   А. А. Сулимов Реализация базового языка системы верификации программ с помощью СПТ СУПЕР. Теория программирования и средства описания параллелизма дискретных систем, Сборник научных трудов под ред. В.Е.Котова, Новосибирск , ? , 01.1985