Gadiel Seroussi On universal types. 171-189 2006 52 IEEE Transactions on Information Theory 1 http://doi.ieeecomputersociety.org/10.1109/TIT.2005.860437 db/journals/tit/tit52.html#Seroussi06