Text this: Boolean algebra and its application : including Boolean matrix algebra.