Kim, K. H. (1982). Boolean Matrix Theory and Applications (Vol. 70). New York: Marcel Dekker.