Anselm of Canterbury
Although penal substitution is often associated with Anselm of Canterbury (1033/4–1109), he predates its formal development within Reformed theology. It is therefore doubted even among Reformed theologians whether his 'satisfaction' theory is strictly equivalent.