Слабые монадические теории второго порядка, как основа для создания языков спецификаций данных

В работе приводятся неформальное описание слабых монадических теорий второго порядка со многими отношениями следования и понятие рационального терма. Приводятся примеры, демонстрирующие возможности языка этих теорий для описания сложных структур данных, и показано, что существующие средства спецификации являются частными случаями слабых монадических теорий.