Mishneh Torah — Positive Mitzvot מצוות עשה, Chapter 239

לדון לגנב בתשלומין או במיתה, שנאמר: "וכי יגנוב" (ראה שמות כא,לז), "אם במחתרת" (שמות כב,א), "וגונב איש ומכרו" (שמות כא,טז).

To judge a thief, obligating him for payment or execution, as [Exodus 21:37] states: "Should a theft be perpetrated," as [Exodus 22:1] states: "If when breaking in," and, as [Exodus 21:16] states: "If one kidnaps a person and sells him,…. "