Steven Vickers Locales are Not Pointless. 199-216 1994 conf/imperial/1994 Theory and Formal Methods db/conf/imperial/imperial1994.html#Vickers94