Алгоритм распознавания достаточной полноты алгебраической спецификации абстрактного типа данныхКучеров, Г.А.198320 с.