"Generic Universe Types."

Werner Dietl, Sophia Drossopoulou, Peter Müller (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics