Формальная спецификация программ на языке RSL (методическое пособие по практикуму)книга