Douglas S. Bridges Robin Havea Peter Schuster Ideals in Constructive Banach Algebra Theory. 65-75 2005 conf/cca/2005 CCA db/conf/cca/cca2005.html#BridgesHS05