Boolean matrix theory and apllications - Kim, Ki Hang (New York: Marcel Dekker, Inc, c)