which employer of miguel de icaza is also the producer of zune 80 ?
SELECT DISTINCT var_uri where brack_open dbr_Miguel_de_Icaza dbo_employer var_uri sep_dot dbr_Zune_80,_120 dbo_manufacturer var_uri brack_close