Grand Rapids, Mich. : W.B. Eerdmans Pub.,