Статья Формализация языков частично упорядоченных мультимножеств в системе Coq для спецификации слабых моделей памяти Моисеенко Е. А., Гладштейн В. П., Подкопаев А. В., Кознов Д. В.