Hebrew · Sifrei Devarim (Hebrew)
יד העדים תהיה בו בראשונה להמיתו, ויד כל העם באחרונה. (סנהדרין סה) מצוה בעדים להמיתו.
English · Shraga Silverstein
(Devarim 17:7) "The hand of the witnesses shall be against him first to kill him": It is a mitzvah for the witnesses to kill him.