bibliographic details : 二进制与逻辑代数