Одним из международных обязательств, способствующих реализации принципа неотвратимости наказания, является международное обязательство aut dedere aut judicare. Основы его формирования относятся еще к 2280 г. до н.э., а особое развитие обязательства — к XIX в., когда в исходной форме оно стало включаться в международные договоры. По мере развития и совершенствования системы межгосударственного сотрудничества, направленного на создание гибкого и устойчивого механизма международной борьбы с отдельными видами преступлений, менялась правовая природа и охват международного обязательства «или выдай, или суди». Появились альтернативные формы закрепления обязательства в международных договорах, для чего стали использоваться так называемые «Гаагская формула», «формула терроризма», «формула наркотиков», «конституционная формула», «формула сотрудничества с органами международной уголовной юстиции», каждая из которых зависит от вида преступления и устанавливает приоритет реализации одной из частей этого альтернативного обязательства.