algebraic specification

Алгебраическая спецификация