"Models with Regular Generic Types, Part IV."

Ivo Herzog, Philipp Rothmaler (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics