Boolean matrix theory and applications - Kim, Ki H. (Dekker, 1982)