Boolean algebra and its applications : including boolean matrix algebra - FLEGG, Graham (Blackie, 1964)