Semantics of a Specification Language

Описывается семантика простого языка спецификаций, являю егося ядром входного языка системы программирования ПРИЗ. Данный язык предназначен для составления таких спецификаций, по которым возможен автоматический синтез программ.