db/journals/jacm/Warshall62.html Stephen Warshall A Theorem on Boolean Matrices. 11-12 1962 9 J. ACM 1 http://doi.acm.org/10.1145/321105.321107 db/journals/jacm/jacm9.html#Warshall62 JACM/9/P0011.pdf