1. A. V. Aho, M. R. Garey, J. D. Ullman, The transitive reduction of a directed graph, SIAM J. Comput., 1:2(1972), 131–137.
2. A. V. Aho, J. E. Hopcroft, J. D. Ullman, The design and analysis of computer algorithms, Addison-Wesley, 1974.
3. G. Birkhoff, Lattice theory, Amer. Math. Soc., vol. XXV (1967).
4. M. Demlová, J. Demel, V. Koubek, Several algorithms for finite algebras, to appear in FCT 1979.
5. M. J. Fischer, A. R. Meyer, Boolean matrix multiplication and transitive closure, IEEE 12th Annual Symposium on Switching and Automata Theory (1971), 129–131.