On universal types. - Seroussi, Gadiel (IEEE Trans. Inf. Theory, 2006)