A new language basic-real for specification and verification of distributed system modelsНепомнящий, Валерий Александрович199939 с.