Blackburn, P., de Rijke, M., & Venema, Y. (1994). The algebra of modal logic. (Report; No. CS-R9463). CWI.
de Rijke, M., & Venema, Y. (1991). Sahlqvist's theorem for Boolean algebras with operators. (Report; No. ML-91-10). Institute for Language, Logic and Information, University of Amsterdam.