Locales are Not Pointless.

Published in: Theory and Formal Methods (1994)