1. G. Birkhoff, Lattice theory, third ed., American Mathematical Society Colloquium Publications, American Mathematical Society, Providence, RI, 1967, Vol. XXV.
2. Foundations of Constructive Analysis;Bishop,1967
3. Algèbre;Bourbaki,1964
4. The spectral theory of commutative C*-algebras;Banaschewski;Quaestiones Math.,2000
5. The spectral theory of commutative C*-algebras;Banaschewski;Quaestiones Math.,2000