Leiden Synopsis:
Moreover, the end, object, and “for whom” (? or cui) of satisfaction is only the Elect and true believers of both the Old and the New Testament. For although with respect to the magnitude, dignity, and sufficiency of the price, considered in itself, it may be extended to all people, yet it is particularly a payment for those whom the Father has chosen and given to the Son, who by the gift of God will believe in God and his Son. Wherefore Scripture everywhere says that he spent himself “for his own,” and “for us,” “for the sheep,” and “the Church.” Matthew 20:28, 26:28; 1 John 3:16; Acts 20:28 etc.
Johannes Polyander, Antonius Walaeus, Antonius Thysius, and André Rivet, Synopsis Purioris Theologiae (Leiden, 1642 [1625]). 356. [Some reformatting of the translation; and Underlining mine.]
[Notes: This work was originally published in 1625, and co-written by three Dort delegates; Rivet was invited to Dort but prevented from attending by the King of France. The common English name for this work was the Leidin Synopsis. This was a very popular work in Scotland in the 17th century and among the Continental Reformed. The Synopsis expresses the revised version of the sufficiency-efficiency formula; while the satisfaction is of infinite value, the sufficiency of the price may be extended to all people. Thus, it is not actually sufficient for all people, for this sufficiency for all is is properly hypothetical only.]
[Credit to Lee Gatiss for bringing this to my attention, and for the translation. Gatiss also has a blog here.]