آیین دادرسی کیفری – ماده ۵۱۱
ماده ۵۱۱ – هرگاه هنگام اجرای حکم معلوم شود محکومٌ‌علیه محکومیتهای قطعی دیگری داشته است که در اعمال مقررات تکرار جرم مؤثر است، قاضی اجرای احکام کیفری، پرونده را نزد دادگاه صادر کننده حکم قطعی ارسال می‌کند. در این‌صورت، چنانچه دادگاه، محکومیتهای سابق را محرز دانست، مطابق مقررات اقدام می‌نماید.
تبصره – هرگاه حکم در دیوان‌عالی کشور تأیید شده باشد، پرونده به آن مرجع ارسال می‌شود تا چنانچه محکومیتهای سابق را محرز دانست، حکم را نقض و پرونده را جهت صدور حکم به دادگاه صادرکننده آن ارسال کند.