1. C. Bernardi,The fixed-point theorem for diagonalizable algebras (The algebraization of the theories which express Theor; III),Studia Logica, Vol. 34, No. 3 (1975), pp. 239–251.
2. R. Franci,Idealità di alcune classi di algebre di Boole con operatori, to appear inBoll. Un. Mat. Ital.
3. G. Grätzer,Universal Algebra, Van Nostrand, Princeton, 1968.
4. P. R. Halmos,Algebraic logic, I. Monadic Boolean algebras,Compositio Mathematicae, Vol. 12 (1955), pp. 217–249. (reprinted inAlgebraic logic, Chelsea Publishing Company, New York (1962)).
5. M. Löb,Solution of a problem of Leon Henkin,Journal of Symbolic Logic, Vol. 20 (1955), pp. 115–118.