Hélène Kirchner, Peter D. Mosses: Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. AMAST 1998: 373-388