1. Balcázar, J.L., Díaz, J., Gabarró, J.: Structural Complexity I, 2nd edn. Springer, Berlin (1995)
2. Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press (1974)
3. Ginsburg, S.: Algebraic and Automata-Theoretic Properties of Formal Languages. North-Holland, Amsterdam (1975)
4. Kuich, W., Sauer, N., Urbanek, F.: Heyting algebras and formal languages. J.UCS 8, 722–736 (2002)
5. Smullyan, R.: Theory of Formal Systems. Annals of Mathematical Studies, vol. 47. Princeton University Press, Princeton (1961)