Murdoch James Gabbay Tadeusz Litak Daniela Petrisan Stone Duality for Nominal Boolean Algebras with И. 192-207 2011 CALCO http://dx.doi.org/10.1007/978-3-642-22944-2_14 conf/calco/2011 db/conf/calco/calco2011.html#GabbayLP11