Selected references J. M. S. Sim\~oes Pereira. On the Boolean matrix equation M' = \vee_{i=1} M^i. Journal of the ACM, 12(3):376-382, July 1965.