Boolean powers as algebras of continuous functions [Book] Bernhard Banaschewski, Evelyn Nelson (1980)